Normal modal logic restricts modal logic proper

Several variations can be derived from modal logic proper by enforcing additional constraints, such as reflexivity, symmetry, transitivity, and extendability. In the associated tableau, the restrictions intuitively apply as inferences on the relations themselves.

Backlinks