Modal logic

Type of formal logic

Modal logic is a kind of logic used to represent statements about necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula ◻ P {\displaystyle \Box P} can be used to represent the statement that P {\displaystyle P} is known.

From Wikipedia, under CC BY-SA. More on occurri.