Next:
Modal logic
Up:
diss
Previous:
Future directions
Contents
Propositional modal, temporal, and dynamic logic
Subsections
Modal logic
Sytax of modal logic
Semantics for normal modal logic: Kripke models
Montague-Scott semantics
Basic temporal logic
Propositional Dynamic Logic
2001-04-05
