Relevant Agents

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F10%3A00348911" target="_blank" >RIV/67985955:_____/10:00348911 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/10:00348911

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Relevant Agents

Popis výsledku v původním jazyce

We study a relevant logic for epistemic agents proposed by Majer and Pelis, providing a novel extension of the relevant logic R with a distinctive epistemic modality K, which is at the one and the same time factive (KA implies A) and an existential normal modal operator. The intended interpretation is that KA holds (relative to a situation s) if there is a resource available at s, confirming A. In this article we expand the class of models to the broader class of 'general epistemic frames'. With this generalisation we provide a sound and complete axiomatisation for the logic of general relevant epistemic frames. We also show, that each of the modal axioms characterises some natural subclasses of general frames.

Název v anglickém jazyce

Relevant Agents

Popis výsledku anglicky

We study a relevant logic for epistemic agents proposed by Majer and Pelis, providing a novel extension of the relevant logic R with a distinctive epistemic modality K, which is at the one and the same time factive (KA implies A) and an existential normal modal operator. The intended interpretation is that KA holds (relative to a situation s) if there is a resource available at s, confirming A. In this article we expand the class of models to the broader class of 'general epistemic frames'. With this generalisation we provide a sound and complete axiomatisation for the logic of general relevant epistemic frames. We also show, that each of the modal axioms characterises some natural subclasses of general frames.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Advances in Modal Logic

ISBN

978-1-84890-013-4

ISSN

—

e-ISSN

—

Počet stran výsledku

17

Strana od-do

—

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Moscow

Datum konání akce

24. 8. 2010

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—