Modallogik/Paradoxe Aussage/Definition

Paradox (Modallogik)

Eine modallogische Aussage ${}\alpha$ heißt paradox, wenn sie, wenn man darin alle ${}\Box$ und alle ${}\Diamond$ ersatzlos streicht, einen aussagenlogischen Widerspruch ergibt.