K-Modallogik/S4-System/Definition
S4-System
Das modallogische -System, in dem das Reflexivitätsaxiom und das Transitivitätsaxiom gilt, heißt -System.
Das modallogische
-System,
in dem das
Reflexivitätsaxiom
und das
Transitivitätsaxiom
gilt, heißt
-System.