Relevant Reasoning and Implicit Beliefs

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00573722" target="_blank" >RIV/67985807:_____/23:00573722 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-031-39784-4_21" target="_blank" >http://dx.doi.org/10.1007/978-3-031-39784-4_21</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-39784-4_21" target="_blank" >10.1007/978-3-031-39784-4_21</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Relevant Reasoning and Implicit Beliefs

Popis výsledku v původním jazyce

Combining relevant and classical modal logic is an approach to overcoming the logical omniscience problem and related issues that goes back at least to Levesque’s well known work in the 1980s. The present authors have recently introduced a variant of Levesque’s framework where explicit beliefs concerning conditional propositions can be formalized. However, our framework did not offer a formalization of implicit belief in addition to explicit belief. In this paper we provide such a formalization. Our main technical result is a modular completeness theorem.

Název v anglickém jazyce

Relevant Reasoning and Implicit Beliefs

Popis výsledku anglicky

Combining relevant and classical modal logic is an approach to overcoming the logical omniscience problem and related issues that goes back at least to Levesque’s well known work in the 1980s. The present authors have recently introduced a variant of Levesque’s framework where explicit beliefs concerning conditional propositions can be formalized. However, our framework did not offer a formalization of implicit belief in addition to explicit belief. In this paper we provide such a formalization. Our main technical result is a modular completeness theorem.

Druh

D - Stať ve sborníku

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í

2023

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

Logic, Language, Information, and Computation

ISBN

978-3-031-39783-7

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

16

Strana od-do

336-350

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Halifax

Datum konání akce

11. 7. 2023

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

WRD - Celosvětová akce

Kód UT WoS článku

—