Focused Labeled Proof Systems for Modal Logic
From MaRDI portal
Publication:3460060
DOI10.1007/978-3-662-48899-7_19zbMath1471.03048OpenAlexW2277055931MaRDI QIDQ3460060
Publication date: 12 January 2016
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_19
Related Items (10)
From axioms to synthetic inference rules via focusing ⋮ Proof checking and logic programming ⋮ Cyclic hypersequent system for transitive closure logic ⋮ Unnamed Item ⋮ A semantic framework for proof evidence ⋮ Unnamed Item ⋮ From QBFs to \textsf{MALL} and back via focussing ⋮ Focused and Synthetic Nested Sequents ⋮ A general proof certification framework for modal logic ⋮ Cyclic proofs, hypersequents, and transitive closure logic
This page was built for publication: Focused Labeled Proof Systems for Modal Logic