Combinations and completeness transfer for quantified modal logics.

Published in: Log. J. IGPL (2011)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
situation calculus
default logic
classical logic
knowledge transfer
conditional logic
dynamic logic
modal operators
autoepistemic logic
model checking
description logics
knowledge representation
artificial intelligence