Edit

Logic for Computer Scientists/Modal Logic

< Logic for Computer Scientists

Unreviewed changes are displayed on this page

This page may need to be reviewed for quality.

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"