Products, or How to Create Modal Logics of High Complexity.

Maarten Marx Szabolcs Mikulás

Published in: Log. J. IGPL (2001)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
conditional logic
situation calculus
default logic
autoepistemic logic
cooperative
multi agent systems
modal operators