Login / Signup
Richard Prideaux Evans
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 1
Top Topics
Prime Implicates
Truth Values
Modal Logic
Top Venues
CoRR
From Lambda Calculus to Cybersecurity Through Program Analysis
PT-AI
</>
Publications
</>
Richard Prideaux Evans
,
Martin Berger
Cathoristic Logic.
From Lambda Calculus to Cybersecurity Through Program Analysis
(2020)
Richard Prideaux Evans
,
Martin Berger
Cathoristic logic: A modal logic of incompatible propositions.
CoRR
(2014)
Richard Prideaux Evans
Computer Models of Constitutive Social Practice.
PT-AI
(2013)