Contributions to Books:

R. Kuznets:
"Craig Interpolation via Hypersequents";
in: "Concepts of Proof in Mathematics, Philosophy, and Computer Science", Ontos Mathematical Logic 6; D. Probst, P. Schuster (ed.); Walter de Gruyter GmbH, Berlin/Boston, 2016, ISBN: 978-1-5015-1080-9, 193 - 214.

English abstract:
In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and ap- ply the method to prove the CIP for the modal logic S5.

Craig interpolation, Hypersequent, Structural proof theory, Modal logic

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.