Modallogik/K/Ableitung/Definition/Begriff

Aus Wikiversity
Wechseln zu: Navigation, Suche

Die Ableitbarkeit eines modallogischen Ausdrucks im -System.