Subformula Property in Many-Valued Modal Logics.

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

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
situation calculus
classical logic
knowledge representation
model checking
default logic
autoepistemic logic
proof procedures