A Modal Logic of Perceptual Belief

Abstract

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.