from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.
from the GNU version of the Collaborative International Dictionary of English
- n. A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation.
from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
- n. the logical study of necessity and possibility
- n. a system of logic whose formal properties resemble certain moral and epistemological concepts
Sorry, no etymologies found.