On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

DOI10.2168/LMCS-7(2:8)2011zbMath1218.03020OpenAlexW2132457243MaRDI QIDQ3003326

Rajeev Goré, Alwen Tiu, Linda Postniece

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-7(2:8)2011

zbMATH Keywords

sequent calculustense logicproof searchnested sequentsdisplay calculusdeep inference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Related Items (8)

Power and Limits of Structural Display Rules ⋮ Nested sequents for intuitionistic modal logics via structural refinement ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ Disentangling structural connectives or life without display property ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Unnamed Item ⋮ Inducing Syntactic Cut-Elimination for Indexed Nested Sequents

This page was built for publication: On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics