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.

Related terms

• deontic logic
• doxastic logic
• epistemic logic

Translations

formal system

• Czech: modální logika (cs) f
• Finnish: modaalilogiikka
• Icelandic: háttarökfræði f
• Macedonian: модална логика f (modalna logika)
• Slovak: modálna logika f
• Tagalog: palasaking matwiran