Anti-prenexing and Prenexing for Modal Logics.

Cláudia Nalon Clare Dixon

Published in: JELIA (2006)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
default logic
classical logic
artificial intelligence
model checking
data model
situation calculus
default theories
conditional logic
kripke models