Word Study
modal logic
WORDNET DICTIONARY
Noun modal logic has 2 senses
- modal logic(n = noun.cognition) Array - the logical study of necessity and possibility; Array is a kind of logic
- modal logic(n = noun.cognition) Array - a system of logic whose formal properties resemble certain moral and epistemological concepts; Array is a kind of formal logic, mathematical logic, symbolic logic
has particulars: alethic logic, deontic logic, epistemic logic, doxastic logic
CIDE DICTIONARY
modal logic, n.
A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation. [PJC]
For further exploring for "modal logic" in Webster Dictionary Online
(NT only) to listen to the NET Bible 
