#### Filter Results:

- Full text PDF available (5)

#### Publication Year

2014

2019

- This year (1)
- Last 5 years (10)
- Last 10 years (10)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Simon Docherty, David J. Pym
- IJCAR
- 2016

Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an… (More)

- Simon Docherty, David J. Pym
- Electr. Notes Theor. Comput. Sci.
- 2018

Abstract Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because — in addition to elegant abstraction — they strengthen soundness… (More)

- Simon Docherty, David J. Pym
- FoSSaCS
- 2018

In recent years, the key principles behind Separation Logic have been generalized to generate formalisms for a number of verification tasks in program analysis via the formulation of ‘non-standard’… (More)

- Simon Docherty
- 2014

In this thesis we construct a new model of intensional type theory in the category of cubical sets with connections. To facilitate this we introduce the notion of a nice path object category, a… (More)

- Simon Docherty, David J. Pym
- Logical Methods in Computer Science
- 2017

Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an… (More)

- Simon Docherty, Reuben N. S. Rowe
- ArXiv
- 2019

We define a infinitary labelled sequent calculus for PDL, G3PDL^{\infty}. A finitarily representable cyclic system, G3PDL^{\omega}, is then given. We show that both are sound and complete with… (More)

- Simon Docherty, David J. Pym
- IJCAI
- 2017

Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because — in addition to elegant abstraction — they strengthen soundness and… (More)

- Simon Docherty, David J. Pym
- Logical Methods in Computer Science
- 2017

Stone-type duality theorems, which relate algebraic and
relational/topological models, are important tools in logic because -- in
addition to elegant abstraction -- they strengthen soundness and… (More)

- Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym
- J. Log. Comput.
- 2017

Proposition 6.2 (2) and (3) of ‘A substructural logic for layered graphs’, by M. Collinson, K. McDonald, and D. Pym, Journal of Logic and Computation (2014) 24 (4): 953-988, are incorrect. We provide… (More)

- ‹
- 1
- ›