Modallogik/Ableitungssystem/Definition/Begriff/Inhalt

Aus Wikiversity
Wechseln zu: Navigation, Suche

Eine unter aussagenlogischen Ableitungen abgeschlossene Teilmenge der modallogischen Sprache heißt (formale) Modallogik.