Modallogik/K/Möglichkeitsdistribution/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass in einer -Modallogik das Axiomenschema

nicht gelten muss.
Eine Lösung erstellen