How Not to Combine Modal Logics.

Rogerio Fajardo Marcelo Finger

Published in: IICAI (2005)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
default logic
nonmonotonic logics
epistemic logic
autoepistemic logic
conditional logic
sequent calculus
situation calculus
modal operators
computational complexity
database systems
dynamic logic
artificial intelligence