6 citations · 12 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 1 cited
Stone-Type Dualities for Separation Logics
Simon Docherty, David Pym
Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen…
cs.LO2017★ 4 cited
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Simon Docherty, David Pym
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.…