Follow
Simon Docherty
Simon Docherty
Verified email at ucl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Bunched logics: a uniform approach
SR Docherty
UCL (University College London), 2019
182019
Intuitionistic layered graph logic
S Docherty, D Pym
International Joint Conference on Automated Reasoning, 469-486, 2016
172016
Modular tableaux calculi for separation theories
S Docherty, D Pym
International Conference on Foundations of Software Science and Computation …, 2018
92018
A Stone-type duality theorem for Separation Logic via its underlying bunched logics
S Docherty, D Pym
Electronic Notes in Theoretical Computer Science 336, 101-118, 2018
82018
A model of type theory in cubical sets with connections
S Docherty
82014
A non-wellfounded, labelled proof system for propositional dynamic logic
S Docherty, RNS Rowe
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
72019
Intuitionistic layered graph logic: semantics and proof theory
D Pym, S Docherty
Logical Methods in Computer Science 14, 2018
72018
Stone-type dualities for separation logics
S Docherty, D Pym
arXiv preprint arXiv:1710.03021, 2017
72017
Partially observable concurrent Kleene algebra
J Wagemaker, P Brunet, S Docherty, T Kappé, J Rot, A Silva
arXiv preprint arXiv:2007.07593, 2020
52020
A bunched logic for conditional independence
J Bao, S Docherty, J Hsu, A Silva
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
42021
A Stone-type Duality Theorem for Separation Logic via its Underlying Bunched Logics
S Docherty, D Pym
RN 17 (06), 06, 2017
22017
Asset-Oriented Access Control: Towards a New IoT Framework
T Cattermole, S Docherty, D Pym, MA Sasse
Proceedings of the 9th International Conference on the Internet of Things, 1-4, 2019
12019
Reductive Logic, Proof-search, and Coalgebra: A Perspective from Resource Semantics
A Gheorghiu, S Docherty, D Pym
2021
Provability in BI's Sequent Calculus is Decidable
A Gheorghiu, S Docherty, D Pym
arXiv preprint arXiv:2103.02343, 2021
2021
A Logic to Reason about Dependence and Independence
J Bao, S Docherty, J Hsu, A Silva
2020
Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Logics
S Docherty, D Pym
TACL 2019, 77, 2019
2019
Stone-Type Dualities for Separation Logics
D Pym, S Docherty
Logical Methods in Computer Science 15, 2019
2019
Erratum to: A substructural logic for layered graphs
M Collinson, K McDonald, S Docherty, D Pym
Journal of Logic and Computation 27 (1), 413-414, 2017
2017
Resource Reasoning in Duality Theoretic Form
S Docherty
The system can't perform the operation now. Try again later.
Articles 1–19