A Unified Completeness Theorem for Quantified Modal Logics.

Published in: J. Symb. Log. (2002)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
situation calculus
classical logic
epistemic logic
dynamic logic
default logic
conditional logic
autoepistemic logic
special case
data management