Modal logic as metalogic.

Published in: J. Log. Lang. Inf. (1992)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
conditional logic
dynamic logic
default logic
prime implicates
machine learning
cooperative
autoepistemic logic
sequent calculus