Modallogik/Sprache/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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 .