Open main menu

Logic for Computer Scientists/Modal Logic

< Logic for Computer Scientists

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

Retrieved from "https://en.wikibooks.org/w/index.php?title=Logic_for_Computer_Scientists/Modal_Logic&oldid=1567475"
Last edited on 13 July 2009, at 14:08