Explicit and Implicit Belief in First Degree Entailment with Strict Implication

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Explicit and Implicit Belief in First Degree Entailment with Strict Implication
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA22-01137S" target="_blank" >GA22-01137S: Metamathematics of substructural modal logics</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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

Similar results(10)