modal logic
Sign in to saveformal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Wikidata facts
Show 2 more facts
- Commons category
- Modal logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/modal-logic
via Wikidata · CC0
~40 min read
Article
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
Connections
first-order logic
Entity
Arthur Prior
Entity
philosophy
Entity
axiom
Entity
Q455
Entity
propositional calculus
Entity
De Morgan's laws
Entity
David Lewis
Entity
possible world
Entity
many-valued logic
Entity
Clarence Irving Lewis
Entity
duality
Entity
deontic logic
Entity
epistemic modal logic
Entity
three-state logic
Entity
subjunctive possibility
Entity
method of analytic tableaux
Entity
closure operator
Entity
Strict conditional
Entity
dynamic logic
Entity