A modal logic of perceptual belief

Andreas Herzig (1, 2) , Emiliano Lorini (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

We present a logic which allows to reason about the relationship between an agent’s beliefs and the information that the agent obtains by his senses. Our logic reconstructs standard doxastic logic by primitives denoting that an agent receives from his senses the datum that some propositional variable is true or false. We give a sound and complete axiomatization and prove that the logic is decidable. We also discuss extensions of the basic logic by principles of introspection and a variant in terms of knowledge instead of belief. We finally extend the logic by events in the style of dynamic epistemic logics.

Mots clés: Belief; Doxastic logic; Dynamic epistemic logic; Knowledge; Perception

Domaines: Informatique [cs]

Andreas Herzig, Emiliano Lorini. A modal logic of perceptual belief. Lihoreau, Franck; Rebuschi, Manuel. Epistemology, Context, and Formalism, 369, Springer, pp.197--211, 2014, Synthese Library book series (SYLI), 978-3-319-02942-9. ⟨10.1007/978-3-319-02943-6_12⟩. ⟨hal-03220750⟩