Modallogik/Korrektheitssatz/Fakt

Korrektheitssatz (Modallogik)

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

Dann ist auch