From display to labelled proofs for tense logics

DOI10.1007/978-3-319-72056-2_8zbMath1503.03031OpenAlexW2770839357MaRDI QIDQ1709695

Revantha Ramanayake, Agata Ciabattoni, Tim S. Lyon

Publication date: 6 April 2018

Full work available at URL: https://philarchive.org/rec/LYOFDT-2

zbMATH Keywords

modal logictense logicstructural proof theorydisplay calculuslabelled calculus

Mathematics Subject Classification ID

Structure of proofs (03F07) Temporal logic (03B44)

Related Items (2)

Nested sequents for intuitionistic modal logics via structural refinement ⋮ Unnamed Item

This page was built for publication: From display to labelled proofs for tense logics