Modallogik/Transitivitätsaxiom/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Transitivitätsaxiom

Das modallogische Axiomenschema

nennt man Transitivitätsaxiom.