Modallogik/Ableitungssystem/Definition

Aus Wikiversity
(Formale) Modallogik

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