MDLUL/Axioms (K-Axiom)

Start=Axioms (K-Axiom)

MDLUL/Axioms (K-Axiom)

Siehe=K-Axiom
MDLUL/K-Axiom
Ziel=Modallogik/K/Definition