Zum Inhalt springen

Modallogik/Sprache/Definition

Aus Wikiversity
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 .