Modallogik/Universelles Modell/Semantische Äquivalenz/Fakt
Im universellen modallogischen Modell gilt für jede Welt und jeden modallogischen Ausdruck
die Beziehung
Im universellen modallogischen Modell gilt für jede Welt und jeden modallogischen Ausdruck
die Beziehung