Craig interpolation via hypersequents

DOI10.1515/9781501502620-012MaRDI QIDQ5221855zbMATH OpenOpenAlexFDO

Authors Roman Kuznets

Publication date 3 April 2020

Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

modal logicCraig interpolationstructural proof theoryhypersequent

Mathematics Subject Classification ID

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

Recommendations

• Modal interpolation via nested sequents
• Interpolation method for multicomponent sequent calculi
• Proving Craig and Lyndon interpolation using labelled sequent calculi
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Constructive interpolation in hybrid logic

Cited in

(11)

• Through an inference rule, darkly
• scientific article; zbMATH DE number 1543346 (Why is no real title available?)
• Guiding Craig interpolation with domain-specific abstractions
• Multicomponent proof-theoretic method for proving interpolation properties
• Craig interpolation in displayable logics
• Modal interpolation via nested sequents
• Interpolation method for multicomponent sequent calculi
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Constructive interpolation in hybrid logic
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
• Proving Craig and Lyndon interpolation using labelled sequent calculi

This page was built for publication: Craig interpolation via hypersequents

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