Simon Docherty

From MaRDI portal
Person:1653005

Available identifiers

zbMath Open docherty.simonMaRDI QIDQ1653005

List of research outcomes





PublicationDate of PublicationType
Reductive logic, proof-search, and coalgebra: a perspective from resource semantics2024-10-01Paper
https://portal.mardi4nfdi.de/entity/Q50892852022-07-18Paper
A stone-type duality theorem for separation logic via its underlying bunched logics2022-04-25Paper
A non-wellfounded, labelled proof system for propositional dynamic logic2020-05-14Paper
https://portal.mardi4nfdi.de/entity/Q31215292019-03-18Paper
https://portal.mardi4nfdi.de/entity/Q45532862018-11-02Paper
Modular tableaux calculi for separation theories2018-07-17Paper
Erratum to: A substructural logic for layered graphs2017-05-17Paper
Intuitionistic Layered Graph Logic2016-09-05Paper
WITHDRAWN: Provability in BI's Sequent Calculus is DecidableN/APaper

Research outcomes over time

This page was built for person: Simon Docherty

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1653005&oldid=6377068"
Powered by MediaWiki