modal logic en · NOUN
Meanings
- (countable, uncountable) Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| modal logics | Number=Plur | lexicographic |
Relateds
deontic logic · epistemic logic · doxastic logic
Translations (7)
pl logika modalna (formal system) · sk modálna logika (formal system) · fi modaalilogiikka (formal system) · mk модална логика (formal system) · tl palasaking matwiran (formal system) · is háttarökfræði (formal system) · cs modální logika (formal system)