Encoding Modal Logics in Logical Frameworks.

Arnon Avron Furio Honsell Marino Miculan Cristian Paravano

Published in: Stud Logica (1998)

Keyphrases

modal logic
dynamic logic
decision procedures
temporal logic
inference rules
classical logic
epistemic logic
nonmonotonic logics
conditional logic
situation calculus
default logic
logical framework
model theoretic
knowledge base
model checking