jump to corresponding sense entry
noun
The logical study of necessity and possibility.
is a specific kind of: logic.
A system of logic whose formal properties resemble certain moral and epistemological concepts.
is a specific kind of: formal logic, mathematical logic, symbolic logic.
is a broader term that covers: alethic logic | deontic logic | epistemic logic | doxastic logic.
Find more on modal logic elsewhere: etymology - rhymes - Wikipedia.
debug info: 0.0152