Modallogik/Sprache/Definition
Sprache der Modallogik
Zu einer Menge von Aussagenvariablen besteht die modallogische Sprache aus diesen Aussagenvariablen, aus allen rekursiv-konstruierbaren aussagenlogischen Verknüpfungen und aus allen rekursiv-konstruierbaren Ausdrücken der Form .