Modal Logics in the Vicinity of S1.

Brian F. Chellas Krister Segerberg

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

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
classical logic
nonmonotonic logics
conditional logic
default logic
situation calculus
dynamic logic
query language
partial order
autoepistemic logic
modal operators
sequent calculus