modal logic
Sign in to saveformal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Wikidata facts
- Part of
- mathematical logic
Show 4 more facts
- topic's main category
- Category:Modal logic
- Commons category
- Modal logic
- influenced by
- predicate logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/modal-logic
via Wikidata · CC0
~40 min read
Encyclopedic overview
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
Excerpted from Wikipedia’s “modal logic” article, available under the CC BY-SA 4.0 licence.