DictionaryAI

modal logic

Short definition from Wiktionary

Noun

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

We haven’t written up modal logic yet: Simple and Standard meanings, examples and a quiz.