Zum Inhalt springen
Modallogik/K/Gültigkeit/Fakt
- Die
aussagenlogischen Tautologien
der modallogischen Sprache gelten in jedem
modallogischen Modell.
- In jedem modallogischen Modell gilt das
-Axiom,
also
-
- Die in einem
(jeden)
modallogischen Modell gültigen Ausdrücke sind abgeschlossen unter dem
Modus ponens.
- Wenn ein
modallogischer Ausdruck
in einem
(jedem)
modallogischen Modell gilt, so gilt auch in diesem
(jedem)
modallogischen Modell.
-