Simon Docherty

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
WITHDRAWN: Provability in BI's Sequent Calculus is Decidable (available as arXiv preprint)	N/A	Paper
Reductive logic, proof-search, and coalgebra: a perspective from resource semantics	2024-10-01	Paper
scientific article; zbMATH DE number 7559476 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
A stone-type duality theorem for separation logic via its underlying bunched logics	2022-04-25	Paper
A non-wellfounded, labelled proof system for propositional dynamic logic (available as arXiv preprint)	2020-05-14	Paper
Stone-type dualities for separation logics (available as arXiv preprint)	2019-03-18	Paper
scientific article; zbMATH DE number 6970800 (Why is no real title available?) (available as arXiv preprint)	2018-11-02	Paper
Modular tableaux calculi for separation theories	2018-07-17	Paper
Erratum to: ``A substructural logic for layered graphs'' Journal Of Logic And Computation	2017-05-17	Paper
Intuitionistic layered graph logic Automated Reasoning	2016-09-05	Paper

Research outcomes over time

This page was built for person: Simon Docherty