English

Noun

modal logic ‎(plural modal logics)

1. (logic) 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

Translations