Modallogik/Korrektheitssatz/Fakt

Korrektheitssatz (Modallogik)

Es sei $Γ$ ein $K$ -modallogisches System und $α$ ein modallogischer Ausdruck. Es gelte

Γ ⊢ α .

Dann ist auch

$Γ ⊨ α .$

Zum Beweis, Alternativen Beweis erstellen