Craig interpolation via hypersequents

DOI10.1515/9781501502620-012zbMATH Open1433.03054OpenAlexW2497518941MaRDI QIDQ5221855FDOQ5221855

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

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

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)

Cited In (11)

• Through an inference rule, darkly
• Title not available (Why is that?)
• Guiding Craig interpolation with domain-specific abstractions
• Craig interpolation in displayable logics
• Multicomponent proof-theoretic method for proving interpolation properties
• Interpolation method for multicomponent sequent calculi
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Modal interpolation via 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)