- modal logic - the logical study of necessity and possibility
--1 is a kind of logic
- modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts
--2 is a kind of symbolic logic, mathematical logic, formal logic
--2 has particulars: alethic logic; deontic logic; epistemic logic; doxastic logic - modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts