< 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
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.