Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133].

Published in: J. Appl. Log. (2006)

Keyphrases

modal logic
temporal logic
classical logic
decision procedures
epistemic logic
inference rules
nonmonotonic logics
situation calculus
dynamic logic
default logic
modal operators
prime implicates
conditional logic
sequent calculi
natural language
explanation based generalization
model checking