Consistency Conditions for Beliefs and Intentions

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