Modallogik/Möglichkeitsaussage/Weltrealisierung/Fakt

Aus Wikiversity

Es sei , , eine Menge von Aussagenvariablen und die zugehörige modallogische Sprache. Es sei ein -modallogisches System, es sei eine maximal widerspruchsfreie -Teilmenge und es sei ein modallogischer Ausdruck mit .

Dann gibt es eine maximal widerspruchsfreie -Teilmenge mit und mit im Sinne des -universellen modallogischen Modells.