modal logic
English
Noun
modal logic (countable and uncountable, plural modal logics)
- (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
formal system
|
|