11 citations · 36 across the 19 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
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.…