Proof-theoretic Semantics, the Foundations of Logic, and Applied Logic

  1. Matthew Collinson, Timo Eckhardt, and David Pym. Towards an Inferentialist Metaphysics of Information Security Through Proof-theoretic Semantics (Extended Abstract). Manuscript. Trends in Logic XXVI, Tohoku University, Sendai, Japan, from November 23-27, 2026.

  2. Didier Galmiche, Timo Lang, Daniel Méry, and David Pym. Multiagent Bifurcation Logic. Submitted, 2026. Manuscript.

  3. Joachim Waddington, Alexander Gheorghiu, and David Pym. Inferentialist Game Semantics (Extended Abstract). Manuscript, arXiv.

  4. Matthew Collinson, Tim Eckhardt, and David Pym. Towards an Inferentialist Account of Information Through Proof-theoretic Semantics. Manuscript: https://arxiv.org/abs/2605.05368, 2026.

  5. Tao Gu, David Pym, Eike Ritter, and Edmund Robinson. Continuations and Completeness in Proof-theoretic Semantics. Manuscript: https://arxiv.org/abs/2605.04689.

  6. Pinaki Chakraborty, Tristan Caulfield, and David Pym. A Resource-Aware Structural Causal Semantics for Feasibility Analysis of Counterfactuals. Ceur Workshop Proceedings. Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2026), Lisbon, 17-19 July, 2026.

  7. Pinaki Chakraborty, Tristan Caulfield, and David Pym. Local Causal Reasoning in Multiagent Systems (Extended Abstract). To appear: Proc. The 2nd International Workshop on Causality, Agents and Large Models (CALM), Luxembourg, 1-5 December 2025. Springer Communications in Computer and Information Science series, 2025. Manuscript.

  8. Timo Eckhardt and David Pym. Inferentialist Public Announcement Logic. Submitted, 2026. Manuscript.

  9. Alexander Gheorghiu and David Pym. Proof-theoretic Semantics and Tactical Proof. Submitted, 2023. Manuscript.

  10. David Pym, Eike Ritter, and Edmund Robinson. Proof-theoretic Semantics in Sheaves (Extended Abstract). Scandinavian Logic Symposium, Bergen, June 2022. Manuscript. SLSS 2022 Abstracts Booklet.

  11. Alexander Gheorghiu and David Pym. Generalizing Rules via Algebraic Constraints (Extended Abstract). Scandinavian Logic Symposium, Bergen, June 2022. Manuscript. SLSS 2022 Abstracts Booklet.

  12. Alexander Gheorghiu and David Pym. Reductive Logic, Proof-search, and Coalgebra (Extended Abstract). To appear, Proc. Coalgebraic Methods in Computer Science (Short papers Technical Report, Helle Hvid Hansen and Fabio Zanasi, editors), 2022. This is an extended abstract of the paper in Samson Abramsky on Logic and Structure in Computer Science and Beyond (see below). Manuscript.

  13. Alexander Gheorghiu and David Pym. Semantics ex Proof and Refutation (Extended Abstract). Presented (by Alexander Gheorghiu) at Bilateralism & Proof-Theoretic Semantics, Ruhr University Bochum, March 17-18, 2022. Manuscript.

  14. Alexander Gheorghiu and David Pym. Defining Logical Systems via Algebraic Constraints on Proofs. Journal of Logic and Computation, 2023. Manuscript, OUP Advance Publication

  15. Alexander Gheorghiu and David Pym. Semantical Analysis of the Logic of Bunched Implications. Studia Logica (2023). Manuscript. Published version.

  16. Alexander Gheorghiu, Simon Docherty, and David Pym. Reductive Logic, Proof-search, and Coalgebra: A Perspective from Resource Semantics. Revised version to appear, Samson Abramsky on Logic and Structure in Computer Science and Beyond, Outstanding Contributions to Logic, Springer, 2023. Manuscript.

  17. David Pym. Reductive logic & proof-theoretic semantics: a coalgebraic perspective. In: Proc. Proof-theoretic Semantics: Assessment and Future Perspectives, P. Schroeder-Heister and T. Piecha (editors), Third Tübingen Conference on Proof-theoretic Semantics, 27-30 March 2019. Manuscript. Proceedings.

  18. Simon Docherty and David Pym. Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Logics. Proc. Topology, Algebra and Categories in Logic (TACL) 2019. Manuscript.

  19. Simon Docherty and David Pym. Modular Tableaux Calculi for Separation Theories. In: Proc. FoSSaCS 2018, LNCS 10803, Springer 2018. Manuscript.

  20. Simon Docherty and David Pym. STONE-TYPE DUALITIES FOR SEPARATION LOGICS. In: Logical Methods in Computer Science. Manuscript.

  21. Simon Docherty and David Pym. Intuitionistic Layered Graph Logics: Semantics and Proof Theory. In: Logical Methods in Computer Science. Manuscript.

  22. Didier Galmiche, Pierre Kimmel, and David Pym. A Substructural Epistemic Resource Logic: Theory and Modelling Applications. Journal of Logic and Computation, 29(8), 1251-1287, 2019. doi.org/10.1093/logcom/exz024. Published: 19 January 2020. Manuscript.

  23. David Pym. Resource semantics: logic as a modelling technology. ACM SIGLOG News, April 2019, Vol. 6, No. 2, 5-41. Manuscript.