Best Unifiers in Transitive Modal Logics.

Vladimir V. Rybakov

Published in: Stud Logica (2011)

Keyphrases

modal logic
temporal logic
decision procedures
equational theories
inference rules
classical logic
transitive closure
epistemic logic
situation calculus
default logic
nonmonotonic logics
model checking
dynamic logic
preference relations
artificial intelligence
theorem proving
special case
computational complexity