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