Modallogik
Unter Modallogiken versteht man solche Logiken, die zusätzlich zu den aus der Aussagenlogik bekannten Konstrukten Operatoren enthalten, mit denen man über Modalitäten wie "möglich" und "notwendig" (alethische Logik), "immer (in der Zukunft)" und "manchmal/irgendwann (in der Zukunft)" (temporale Logik) etc. sprechen kann.So lassen sich nicht nur Sätze wie "morgen wird es regnen" formulieren, sondern auch Sätze wie "möglicherweise wird es morgen regnen, möglicherweise auch nicht".
Die Sprache der unimodalen Modallogik enthält alle aussagenlogischen
Formeln sowie zusätzlich alle Formeln der Gestalt
Dabei kann Box durch Diamond definiert werden und umgekehrt:
Die Sprache der unimodalen Modallogik
("box phi", phi ist notwendig) und
("diamond phi", phi ist möglich) für alle modallogischen Formeln
.
Zwei unmittelbare Folgerungen daraus sind die an die De Morganschen Regeln erinnernden Sätze:
- "Es ist nicht notwendig, dass X" ist äquivalent zu "Es ist möglich, dass nicht X", und
- "Es ist nicht möglich, dass X" ist äquivalent zu "Es ist notwendig, dass nicht X".
Die Kripke-Semantik der unimodalen Modallogik
In der nach Saul Kripke benannten Interpretation der Modallogik betrachtet man alle "logisch möglichen Welten". Ein Kripke-Modell besteht aus einer Menge solcher Welten, einer Zugänglichkeitsrelation zwischen ihnen und einer Interpretation der Aussagenvariablen in jeder einzelnen der Welten.
Die Wahrheit einer Formel in einer möglichen Welt ist dann wie folgt definiert: aussagenlogische Tautologien gelten in allen Welten, eine Formel gilt in einer Welt genau dann, wenn ihre Negation nicht gilt, und eine Formel der Gestalt gilt in einer Welt w genau dann, wenn in jeder von w zugänglichen Welt w' gilt.
Will man die Modallogik gemäß dieser Semantik axiomatisieren, so lässt sich dies durch die Einführung des Axiomenschemas K und der Schlussregel der Nezessisierung realisieren:
- Axiomenschema K: .
- Nezessisierungsregel: Wenn in allen Welten gilt, so gilt auch in allen Welten .
Je nach Anwendung und intendierter Semantik kann man weitere Axiomenschemata hinzufügen, etwa:
- (T)
- (4)
- (5)
- (B)
- (D)
Eine der am häufigsten verwendeten Modallogiken, S5, basiert auf den Axiomenschemata K, T und 5. Auch andere Kombinationen der erwähnten Axiomanschemata sind sinnvoll und gebräuchlich.