Login / Signup
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