Modallogik

Eine Familie formaler Logiken, die propositionale oder prädikatenlogische Kalküle um modale Operatoren (z. B. □ für Notwendigkeit und ◇ für Möglichkeit) erweitern, um Modi der Wahrheit relativ zu Punkten eines Modells mit einer Zugriffrelation auszudrücken.