Normale Modallogik

Eine normale Modallogik ist in der Logik eine Menge L von Modalformeln, so dass

• L folgendes enthält:
  • alle propositionalen Tautologien,
  • alle Instanzen des Kripke-Schemas: ${\displaystyle \Box (A\to B)\to (\Box A\to \Box B)}$
• und L geschlossen ist unter:
  • dem Modus ponens: ${\displaystyle A\to B,A\vdash B}$,
  • der Notwendigkeits-Regel: ${\displaystyle \vdash A}$ impliziert ${\displaystyle \vdash \Box A}$.

Die kleinste Logik, die diese Bedingungen erfüllt, heißt K. Die heute am häufigsten benutzten Modallogiken, z. B. C. I. Lewis’ S4 und S5, sind Erweiterungen von K. Jedoch sind einige Deontischen und Epistemische Logiken nicht-normal, oft weil sie das Kripke-Schema aufgeben.

• Ulf Friedrichsdorf: Einführung in die klassische und intensionale Logik. Vieweg, 1992, ISBN 3-528-06489-7. 
• George Edward Hughes, Max Cresswell: Einführung in die Modallogik. De Gruyter, 1978, ISBN 3-11-004609-1. 
• George Edward Hughes, Max Cresswell: A new introduction to modal logic. Routledge, London 1996, ISBN 0-415-12600-2.