Modallogik/Euklidisches Axiom/Definition

Euklidisches Axiom

Das modallogische Axiomenschema

$\Diamond \alpha \rightarrow \Box \Diamond \alpha$

nennt man euklidisches Axiom (oder Axiom ${}5$).