A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
From MaRDI portal
Publication:3019968
DOI10.1007/978-3-642-22303-7_3zbMath1341.03027OpenAlexW1428964678MaRDI QIDQ3019968
Publication date: 29 July 2011
Published in: Logic, Language, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22303-7_3
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Interpolation, preservation, definability (03C40)
Related Items (4)
Uniform interpolation via nested sequents ⋮ The succinctness of the cover modality ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
This page was built for publication: A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
