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