modal logic

modal logic

n

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

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

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

Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

Thesaurus

Noun	1.	modal logic - the logical study of necessity and possibility logic - the branch of philosophy that analyzes inference
	2.	modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity alethic logic - the modal logic of necessity and possibility and contingency deontic logic - the modal logic of obligation and permissibility epistemic logic - the modal logic of knowledge and uncertainty and ignorance doxastic logic - the modal logic of belief and disbelief

Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.