modal logic

English

Noun

modal logic (countable and uncountable, plural modal logics)

  1. (logic) Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.

Translations