6.1 Modal Logic6.2 Syntax6.3 Kripke Semantics6.4 Axiomatics6.5 Multimodal Logics – An example6.6 Modal Logic Tableaux6.7 Translation Method6.8 Temporal Logics