Semantic Differences between T, S4, and S5

Differences between systems are defined by constraints on the reachability relation: reflexivity, transitivity, and symmetry. These properties directly affect permissible modal inferences