Epistemic Logics for Relevant Reasoners

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F24%3A00598355" target="_blank" >RIV/67985807:_____/24:00598355 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1007/s10992-024-09770-7" target="_blank" >https://doi.org/10.1007/s10992-024-09770-7</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10992-024-09770-7" target="_blank" >10.1007/s10992-024-09770-7</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Epistemic Logics for Relevant Reasoners

Popis výsledku v původním jazyce

We present a neighbourhood-style semantic framework for modal epistemic logic modelling agents who process information using relevant logic. The distinguishing feature of the framework in comparison to relevant modal logic is that the environment the agent is situated in is assumed to be a classical possible world. This framework generates two-layered logics combining classical logic on the propositional level with relevant logic in the scope of modal operators. Our main technical result is a general soundness and completeness theorem.

Název v anglickém jazyce

Epistemic Logics for Relevant Reasoners

Popis výsledku anglicky

We present a neighbourhood-style semantic framework for modal epistemic logic modelling agents who process information using relevant logic. The distinguishing feature of the framework in comparison to relevant modal logic is that the environment the agent is situated in is assumed to be a classical possible world. This framework generates two-layered logics combining classical logic on the propositional level with relevant logic in the scope of modal operators. Our main technical result is a general soundness and completeness theorem.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2024

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 periodika

Journal of Philosophical Logic

ISSN

0022-3611

e-ISSN

1573-0433

Svazek periodika

53

Číslo periodika v rámci svazku

5

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

29

Strana od-do

1383-1411

Kód UT WoS článku

001302309800002

EID výsledku v databázi Scopus

2-s2.0-85202624746