Login / Signup
Projective Unifiers in Modal Logics.
Wojciech Dzik
Piotr Wojtylak
Published in:
UNIF (2011)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
equational theories
reconstruction from multiple views
classical logic
epistemic logic
situation calculus
default logic
autoepistemic logic
dynamic logic
artificial intelligence
conditional logic
model checking
knowledge base