| type of modal logic | relation in its Kripke frames |
|---|---|
| K modal logic | any relation |
| K4 modal logic? | transitive relation |
| T modal logic | reflexive relation |
| B modal logic? | symmetric relation |
| S4 modal logic | reflexive & transitive relation |
| S5 modal logic | equivalence relation |
(following BdRV (2001) Table 4.1; cf. Fagin, Halpern, Moses & Vardi (1995) Thm. 3.1.5)
Last revised on August 1, 2023 at 14:09:16. See the history of this page for a list of all contributions to it.