Modal Logic

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A family of formal logics that extend propositional or predicate calculi with modal operators (such as □ for necessity and ◇ for possibility) to express modes of truth relative to points in a model equipped with an accessibility relation.