modal logic

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

The rabbi’s precocious son had taught himself ancient Hebrew by the age of 6, had finished reading Shakespeare’s complete works by 9 and published his first completeness theorem in modal logic when he was 18.

From New York Times

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

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

Professor Marcus was hailed by colleagues for her work in quantified modal logic.

From New York Times

Even in the academy, fellow polymaths were bedazzled by the breadth of his boundless ruminations into metaphysics, modal logic, recursion theory, identity materialism and the ontological nature of numbers.

From New York Times