What does "modal logic" mean?

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

Modal logic

Common synonyms include: formal logic, linguistic modality, modal calculus, modal logics, modal subfields, modal theory.

noun

noun ·Uncommon ·Advanced level

Noun

1
Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission. countable, uncountable
2
a system of logic whose formal properties resemble certain moral and epistemological concepts wordnet
3
the logical study of necessity and possibility wordnet