Abstract
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 using our new logic.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning |
| Publication status | Published - 1 Mar 2015 |