Some remarks on (weakly) weak modal logics.

Raymond E. Jennings Peter K. Schotch

Published in: Notre Dame J. Formal Log. (1981)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
classical logic
conditional logic
default logic
situation calculus
dynamic logic
helmholtz principle
model checking
artificial intelligence
autoepistemic logic
kripke models