The true modal logic.

Christopher Menzel

Published in: J. Philos. Log. (1991)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
nonmonotonic logics
situation calculus
dynamic logic
conditional logic
case based reasoning
higher order
default logic
autoepistemic logic