modal logic

1. The logical study of necessity and possibility (synset 106176360)
   is a type of: logic - the branch of philosophy that analyzes inference
2. A system of logic whose formal properties resemble certain moral and epistemological concepts (synset 106175539)
   is a type of: 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
   subtypes:

   • 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

Other Searches

• Rhyme: Dillfrog, RhymeZone
• Definition: Wiktionary, Dictionary.com, Wikipedia, Merriam-Webster, WordNet, Power Thesaurus
• Imagery: Google, Flickr, Bing