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.