Craig Interpolation via Hypersequents

DOI10.1515/9781501502620-012zbMath1433.03054OpenAlexW2497518941MaRDI QIDQ5221855

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)

Related Items (1)

Through an Inference Rule, Darkly

This page was built for publication: Craig Interpolation via Hypersequents