Relevant Reasoning and Implicit Beliefs

0573722 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Vigiani, P.
Relevant Reasoning and Implicit Beliefs.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 336-350. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Epistemic logic * explicit belief * implicit belief * knowledge representation * modal logic * relevant logic
Obor OECD: Pure mathematics

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.
Trvalý link: https://hdl.handle.net/11104/0344103


Vědecká data: Preprint at MathStat.dal.ca