Well-Behaved Modal Logics.

Harold T. Hodes

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
situation calculus
default logic
epistemic logic
conditional logic
autoepistemic logic
sequent calculus
modal operators
database
probabilistic model
propositional logic