Explicit and Implicit Belief in First Degree Entailment with Strict Implication

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F25%3A00635653" target="_blank" >RIV/67985807:_____/25:00635653 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-031-69940-5_17" target="_blank" >http://dx.doi.org/10.1007/978-3-031-69940-5_17</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-69940-5_17" target="_blank" >10.1007/978-3-031-69940-5_17</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Explicit and Implicit Belief in First Degree Entailment with Strict Implication

Popis výsledku v původním jazyce

We introduce FDE -3c, an extension of FDE with strict implication and a classicality constant, and we show that it formalizes the distinction between explicit and implicit belief. In the style of Levesque’s formalization of these two concepts, explicit beliefs are modelled as sets of formulas closed under our extension of FDE, while implicit beliefs form, in a sense, the classical closure of explicit beliefs. We establish an embedding of Levesque’s logic of explicit and implicit belief into FDE -3c. This result shows that FDE -3c is a viable generalization of Levesque’s logic lifting some of its limitations. Unlike a similar generalization introduced by Lakemeyer, FDE -3c comes with an Australian-plan semantics and so it is an alternative potentially attractive to those who prefer the Australian plan over the American one.

Název v anglickém jazyce

Explicit and Implicit Belief in First Degree Entailment with Strict Implication

Popis výsledku anglicky

We introduce FDE -3c, an extension of FDE with strict implication and a classicality constant, and we show that it formalizes the distinction between explicit and implicit belief. In the style of Levesque’s formalization of these two concepts, explicit beliefs are modelled as sets of formulas closed under our extension of FDE, while implicit beliefs form, in a sense, the classical closure of explicit beliefs. We establish an embedding of Levesque’s logic of explicit and implicit belief into FDE -3c. This result shows that FDE -3c is a viable generalization of Levesque’s logic lifting some of its limitations. Unlike a similar generalization introduced by Lakemeyer, FDE -3c comes with an Australian-plan semantics and so it is an alternative potentially attractive to those who prefer the Australian plan over the American one.

Druh

C - Kapitola v odborné knize

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í

2025

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 knihy nebo sborníku

New Directions in Relevant Logic

ISBN

978-3-031-69940-5

Počet stran výsledku

28

Strana od-do

425-452

Počet stran knihy

468

Název nakladatele

Springer

Místo vydání

Cham

Kód UT WoS kapitoly

—