Modallogik/Ableitung/Notwendigkeitsversion/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein -modallogisches System und ein modallogischer Ausdruck.

Dann folgt aus

die Beziehung

wobei