Definition that contains modal logic
- deontic logic the modal logic of obligation and permissibility
- doxastic logic the modal logic of belief and disbelief
- epistemic logic the modal logic of knowledge and uncertainty and ignorance
- alethic logic the modal logic of necessity and possibility and contingency