modal logic
Britishnoun
-
the logical study of such philosophical concepts as necessity, possibility, contingency, etc
-
the logical study of concepts whose formal properties resemble certain moral, epistemological, and psychological concepts See also alethic deontic epistemic doxastic
-
any formal system capable of being interpreted as a model for the behaviour of such concepts
Example Sentences
Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.
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
But modal logic was too limited for computer scientists to use in semireal world systems.
From The Guardian ● Feb. 26, 2013
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
The field was born of the marriage of two existing systems, classical quantified logic and modal logic — a marriage she helped bring about.
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
Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023
Idioms from The American Heritage® Idioms Dictionary copyright © 2002, 2001, 1995 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company.
