Zum Inhalt springen

K-Modallogik/Vollständigkeit/Fakt

Aus Wikiversity
Vollständigkeitssatz (Modallogik)

Es sei ein -modallogisches System und sei ein modallogischer Ausdruck.

Dann ist

genau dann, wenn