K-Modallogik/Vollständigkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Vollständigkeitssatz (Modallogik)

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

Dann ist

genau dann, wenn