|
Definition of Modal logic
1. Noun. The logical study of necessity and possibility.
2. Noun. A system of logic whose formal properties resemble certain moral and epistemological concepts.
Specialized synonyms: Alethic Logic, Deontic Logic, Epistemic Logic, Doxastic Logic
Definition of Modal logic
1. Noun. (logic) Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Modal Logic
Literary usage of Modal logic
Below you will find example usage of this term as found in modern and/or classical literature:
1. Geometric Computing Science: First Steps by Robert Hermann (1991)
"The latter subject - technically a branch of modal logic - originated as a method
of thinking about the sort of reasoning that goes on in checking the ..."
2. A New Logic by Charles Arthur Mercier (1912)
"By admitting that form of Modal that it does not recognise to be Modal, Logic
exhibits a blindness that may be paralleled within its own limits, ..."
3. Text Retrieval Conference, 4th edited by D. K. Harman (1998)
"Semantical considerations on modal logic. In L. Lin- sky, editor, Reference and
modality, ... An Information Retrieval model based on modal logic. ..."
4. The Civilization of Illiteracy by Mihai Nadin (1997)
"Among the logics that can be used are classical propositional logic, intuitionistic
propositional logic, modal logic, temporal logic, and others. ..."