modal logic
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.
- Related terms
- deontic logic, doxastic logic, epistemic logic