MDLUL/modallogisches Axiomenschema

Start=modallogisches Axiomenschema

MDLUL/modallogisches Axiomenschema

Ziel=Modallogik/Sprache/Definition