Modallogik/K/Ableitung/Definition/Begriff

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die Ableitbarkeit eines modallogischen Ausdrucks im -System.