Consistency Conditions for Beliefs and Intentions
Marc van Zee, Mehdi M. Dastani, Dragan V. Doder, Leendert van der Torre · Open Repository and Bibliography (University of Luxembourg) · 2015
Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define a stronger notion of coherence us- ing our new logic