Modallogik/Sprache/Definition

Sprache der Modallogik

Zu einer Menge von Aussagenvariablen ${}V$ besteht die modallogische Sprache aus diesen Aussagenvariablen, aus allen rekursiv-konstruierbaren aussagenlogischen Verknüpfungen und aus allen rekursiv-konstruierbaren Ausdrücken der Form ${}\Box (\alpha )$.