Normale Modallogik
Sign in to saveset of modal formulas containing all propositional tautologies and all instances of the Kripke schema ◻(A→B)→(◻A→◻B) and closed under modus ponens and necessitation
Article · Deutsch
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: * und L geschlossen ist unter: * dem Modus ponens: , * der Notwendigkeits-Regel: impliziert . 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 , sind Erweiterungen von K. Jedoch sind einige Deontischen und Epistemische Logiken nicht-normal, oft weil sie das Kripke-Schema aufgeben.
Abstract from DBpedia / Wikipedia · CC BY-SA