modal logic

British  

noun

1. the logical study of such philosophical concepts as necessity, possibility, contingency, etc

2. the logical study of concepts whose formal properties resemble certain moral, epistemological, and psychological concepts See also alethic deontic epistemic doxastic

3. any formal system capable of being interpreted as a model for the behaviour of such concepts

---

Example Sentences

Saul Kripke answered the question, "What are the truth conditions for claims about necessity and possibility?" with his semantics for modal logic.

From Scientific American • Jul. 7, 2018

Some of this had been worked out in a rigorous but limited way, in what philosophers call modal logic, which was first enunciated by C.I.

From The Guardian • Feb. 26, 2013

But modal logic was too limited for computer scientists to use in semireal world systems.

From The Guardian • Feb. 26, 2013

Working independently in the mid-1940s, both Professor Marcus and Carnap, who taught at the University of Chicago, devised such frameworks by combining classical quantified logic and modal logic.

From New York Times • Mar. 13, 2012

Among the logics that can be used are classical propositonal logic, intuitionistic propositional logic, modal logic, temporal logic, and others.

From The Civilization of Illiteracy by Nadin, Mihai