Modallogik/Sprache/Definition/Begriff/Inhalt

Die modallogische Sprache zu ${}V$ besteht aus den Aussagenvariablen, aus allen rekursiv-konstruierbaren aussagenlogischen Verknüpfungen und aus allen rekursiv-konstruierbaren Ausdrücken der Form ${}\Box (\alpha )$.