modal logic -
a system of logic whose formal properties resemble certain moral and epistemological concepts
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
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
modal logic -
the logical study of necessity and possibility
