Richard Prideaux Evans

According to our database¹, Richard Prideaux Evans authored at least 3 papers between 2013 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Cathoristic Logic.

[BibT_eX]

[DOI]

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2014

Cathoristic logic: A modal logic of incompatible propositions.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Computer Models of Constitutive Social Practice.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Issues of Artificial Intelligence, 2013