A non-wellfounded, labelled proof system for propositional dynamic logic
From MaRDI portal
Publication:2180527
DOI10.1007/978-3-030-29026-9_19zbMath1435.03032arXiv1905.06143OpenAlexW2971101024MaRDI QIDQ2180527
Reuben N. S. Rowe, Simon Docherty
Publication date: 14 May 2020
Full work available at URL: https://arxiv.org/abs/1905.06143
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)
Related Items
Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ Cyclic hypersequent calculi for some modal logics with the master modality
