Modal logic

Summary

Modal logic extends propositional logic with operators $\square$ and $\lozenge$, read for example as "necessarily" and "possibly". Different readings of $\square$, such as "it is known that", "it will always be true" or "it is provable that", give different modal logics. Its usual semantics uses Kripke models, which are sets of possible worlds with an accessibility relation.