Cathoristic logic: A modal logic of incompatible propositions

Richard Prideaux Evans, Martin Berger

Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of th…