Modallogik/Reflexivitätsaxiom/Definition

Reflexivitätsaxiom

Das modallogische Axiomenschema

nennt man Reflexivitätsaxiom.