Start=modallogisch (K)

MDLUL/modallogisch (K)

Ziel=Modallogik/K/Definition