Category:Modal Logic

This category contains results about Modal Logic.
Definitions specific to this category can be found in Definitions/Modal Logic.

Modal logic is a branch of logic in which truth values are more complex than being merely true or false, and which distinguishes between different "modes" of truth.