K-Modallogik/S5-System/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
S5-System

Das modallogische -System, in dem das Reflexionsaxiom, das Symmetrieaxiom und das Transitivitätsaxiom gilt, heißt -System.