6.1 Modal Logic6.2 Syntax6.3 Kripke Semantics6.4 Axiomatics6.5 Multimodal Logics – An example 6.6 Modal Logic Tableaux 6.7 Translation Method 6.8 Temporal Logics