Equivalence Criteria for Compositional IF Modal Logics.

Tero Tulenheimo Manuel Rebuschi

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures

classical logic
epistemic logic
nonmonotonic logics

situation calculus
conditional logic
model checking

data model
default logic
dynamic logic