Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

DOI10.1093/logcom/exm026zbMath1126.03023OpenAlexW1990883597MaRDI QIDQ5427256

Rajeev Goré, Alwen Tiu

Publication date: 19 November 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6fbaee36838d15da4242ea3d11029d5353b0b553

zbMATH Keywords

display logicproof theory of modal logicdeep inferencecut-free sequent calculicalculus of structures

Mathematics Subject Classification ID

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

Related Items (2)

Hypersequent and display calculi -- a unified perspective ⋮ Display calculi and other modal calculi: a comparison

This page was built for publication: Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5