Login / Signup

Equivalence Criteria for Compositional IF Modal Logics.

Tero TulenheimoManuel 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