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