K-Modallogik/S5-System/Definition

Aus Wikiversity

Zur Navigation springen Zur Suche springen

S5-System

Das modallogische ${}K$ -System, in dem das Reflexivitätsaxiom, das Symmetrieaxiom und das Transitivitätsaxiom gilt, heißt ${}S5$ -System.

Abgerufen von „https://de.wikiversity.org/w/index.php?title=K-Modallogik/S5-System/Definition&oldid=835980“