Products of Modal Logics, Part 1.

Dov M. Gabbay Valentin B. Shehtman

Published in: Log. J. IGPL (1998)

Keyphrases

modal logic
inference rules
decision procedures
temporal logic
nonmonotonic logics
epistemic logic
conditional logic
situation calculus
classical logic
model checking
default logic
modal operators
integrity constraints
dynamic logic