Zum Inhalt springen

Modallogik/Korrektheitssatz/Fakt

Aus Wikiversity
Korrektheitssatz (Modallogik)

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

Dann ist auch