Simon Docherty

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 17

Top Topics

Cut Elimination

Partially Observable

Propositional Dynamic Logic

Conditional Independencies

Top Venues

Log. Methods Comput. Sci.

Publications

Alexander Gheorghiu, Simon Docherty, David J. Pym
Provability in BI's Sequent Calculus is Decidable. CoRR (2021)
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
A Bunched Logic for Conditional Independence. LICS (2021)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CoRR (2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CONCUR (2020)
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
A Logic to Reason about Dependence and Independence. CoRR (2020)
Simon Docherty, David J. Pym
Stone-Type Dualities for Separation Logics. Log. Methods Comput. Sci. 15 (1) (2019)
Thomas Cattermole, Simon Docherty, David J. Pym, M. Angela Sasse
Asset-Oriented Access Control: Towards a New IoT Framework. IOT (2019)
Simon Docherty, Reuben N. S. Rowe
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. TABLEAUX (2019)
Simon Docherty, Reuben N. S. Rowe
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. CoRR (2019)
Simon Docherty, David J. Pym
Modular Tableaux Calculi for Separation Theories. FoSSaCS (2018)
Simon Docherty, David J. Pym
A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. MFPS (2018)
Simon Docherty, David J. Pym
Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Log. Methods Comput. Sci. 14 (4) (2018)
Simon Docherty, David J. Pym
Intuitionistic Layered Graph Logic. IJCAI (2017)
Simon Docherty, David J. Pym
Stone-Type Dualities for Separation Logics. CoRR (2017)
Simon Docherty, David J. Pym
Intuitionistic Layered Graph Logic: Semantics and Proof Theory. CoRR (2017)
Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym
Erratum to: A substructural logic for layered graphs. J. Log. Comput. 27 (1) (2017)
Simon Docherty, David J. Pym
Intuitionistic Layered Graph Logic. IJCAR (2016)