modal logic

Noun

 * 1)  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

 * Czech:
 * Finnish: modaalilogiikka
 * Icelandic: háttarökfræði
 * Macedonian: модална логика
 * Slovak: modálna logika
 * Tagalog: palasaking matwiran