411 REFERENCE · Wikibooks
Logic for Computer Scientists/Modal Logic
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
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