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