Systems T, S4, and S5
Classical modal systems differ in properties of the accessibility relation between possible worlds. These differences determine which necessity and possibility formulas are considered correct
Article body and graph labels may still appear in Russian where English translations have not been added yet.
📊Level 5🗺️1 subtopics📅April 16, 2026
Loading map...