The Modal Logic Cube
An atlas of the 15 distinct classical normal propositional modal logics generated from K by D, T, B, 4 and 5.
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.