Modallogik/Ableitungssystem/Definition
Zur Navigation springen
Zur Suche springen
(Formale) Modallogik
Eine unter aussagenlogischen Ableitungen abgeschlossene Teilmenge der modallogischen Sprache heißt (formale) Modallogik.