Beweisbarkeitslogik/Antiableitungsfixpunkt/Keine Vervollständigung mit Nezessisierungsregel/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir setzen

Es sei eine -Modallogik, in der

ableitbar ist. Zeige, dass es keine widerspruchsfreie Erweiterung

gibt, die aussagenlogisch und unter der Nezessierungsregel abgeschlossen ist.
Eine Lösung erstellen