Modallogik/Sprache/Definition/Begriff

Aus Wikiversity

Die modallogische Sprache zu einer Aussagenvariablenmenge .