A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

DOI10.1007/978-3-642-22303-7_3MaRDI QIDQ3019968zbMATH OpenOpenAlexFDO

Authors Marta Bílková

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Uniform interpolation and sequent calculi in modal logic
• Uniform interpolation from cyclic proofs: the case of modal mu-calculus
• Uniform interpolation in provability logics
• Uniform interpolation and propositional quantifiers in modal logics
• Uniform interpolation for monotone modal logic
• Uniform Interpolation by Resolution in Modal Logic
• Uniform interpolation in coalgebraic modal logic
• scientific article; zbMATH DE number 4114590
• scientific article; zbMATH DE number 1215463
• Saturation-based uniform interpolation for multi-modal logics

Cited in

(6)

• Multicomponent proof-theoretic method for proving interpolation properties
• Uniform interpolation via nested sequents
• Proving Craig and Lyndon interpolation using labelled sequent calculi
• The succinctness of the cover modality
• Uniform interpolation via nested sequents and hypersequents
• Nested sequents or tree-hypersequents -- a survey

This page was built for publication: A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3019968)