modal logic

modal logic

n

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

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

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

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