@inproceedings{f31b12aa43fb43c7911fd8dd12e048a7,
title = "Relevant Reasoning and Implicit Beliefs",
abstract = "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{\textquoteright}s well known work in the 1980s. The present authors have recently introduced a variant of Levesque{\textquoteright}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.",
keywords = "Epistemic logic, explicit belief, implicit belief, knowledge representation, modal logic, relevant logic",
author = "Igor Sedl{\'a}r and Pietro Vigiani",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.; Proceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023 ; Conference date: 11-07-2023 Through 14-07-2023",
year = "2023",
month = aug,
day = "29",
doi = "10.1007/978-3-031-39784-4\_21",
language = "English",
isbn = "9783031397837",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "336--350",
editor = "Hansen, \{Helle Hvid\} and Andre Scedrov and \{de Queiroz\}, \{Ruy J.G.B.\}",
booktitle = "Logic, Language, Information, and Computation",
}