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

Craig interpolationhypersequentmodal logicstructural proof theory

Mathematics Subject Classification ID

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

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

(12)

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

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)