Modal Logic Should Say More Than It Does.

Published in: Computational Logic - Essays in Honor of Alan Robinson (1991)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
situation calculus
nonmonotonic logics
conditional logic
incomplete information
dynamic logic
default logic
prime implicates
machine learning
model checking
sequent calculus