cousin_it comments on What a reduction of “could” could look like

[cousin_it]

Ouch. X could simply say “false” and the whole thing explodes in your face.

[Johnicholas]

There are logics (relevant or paraconsistent) logics which do not have the classical “ex falso quodlibet”.

[Vladimir_Nesov]

True, didn’t notice that. I still feel there must be a workaround.