Logic for Computer Scientists/Modal Logic

From Wikibooks, open books for an open world
< Logic for Computer Scientists
Jump to: navigation, search

6.1 Modal Logic
6.2 Syntax
6.3 Kripke Semantics
6.4 Axiomatics
6.5 Multimodal Logics – An example
6.6 Modal Logic Tableaux
6.7 Translation Method
6.8 Temporal Logics