Modallogik/S5/Verbindbar/Gleiche Notwendigkeitsaussagen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein modallogisches Modell für die -Modallogik.

Zeige, dass für zueinander erreichbare Welten die Gültigkeitsmengen verschieden sein können, dass aber für jeden Ausdruck genau dann gilt, wenn gilt.
Eine Lösung erstellen