On Modal Logics Between K x K x K and S5 x S5 x S5.

Robin Hirsch Ian M. Hodkinson Ágnes Kurucz

Published in: J. Symb. Log. (2002)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
classical logic
situation calculus
epistemic logic
default logic
conditional logic
dynamic logic
knowledge base
autoepistemic logic
query answering
data exchange
knowledge representation
multi agent systems
cooperative