Normal Modal Logic S4
Normal propositional modal logic S4, with reflexive and transitive Kripke accessibility; local satisfiability is PSPACE-complete.
Normal Modal LogicsThe directory29 published entries
Welcome to LogicalZoo
Explore formal logics, their expressive power, and their relationships. A growing reference guide from syntax and semantics to decidability and complexity.
Find a logic
Search results
2 entriesNormal Modal Logic S5
Normal propositional modal logic S5, with reflexive and Euclidean Kripke accessibility; local satisfiability is NP-complete.
Normal Modal Logics