Modallogik/Korrektheitssatz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Korrektheitssatz (Modallogik)

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

Dann ist auch

Zum Beweis, Alternativen Beweis erstellen