Eine normale Modallogik ist in der Logik eine Menge L von Modalformeln, so dass 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 a....