Computer Models of Constitutive Social Practice. - Richard Prideaux Evans (PT-AI, 2013)

Cathoristic logic: A modal logic of incompatible propositions. - Richard Prideaux Evans; Martin Berger (CoRR, 2014)

Cathoristic Logic. - Richard Prideaux Evans; Martin Berger 001 (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)