Extensions of K5: proof theory and uniform Lyndon interpolation

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023
Editors	Revantha Ramanayake, Josef Urban
Pages	263-282
DOIs	https://doi.org/10.1007/978-3-031-43513-3_15
Publication status	Published - 2023

Name	Lecture Notes in Computer Science
Volume	14278

Access to Document

@inproceedings{013f8fe04e2849b387db4852ea658c59,

title = "Extensions of K5: proof theory and uniform Lyndon interpolation",

author = "{van der Giessen}, Iris and Raheleh Jalali and Roman Kuznets",

year = "2023",

doi = "10.1007/978-3-031-43513-3_15",

language = "English",

series = "Lecture Notes in Computer Science",

pages = "263--282",

editor = "Revantha Ramanayake and Josef Urban",

booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023",

}

Extensions of K5: proof theory and uniform Lyndon interpolation. / van der Giessen, Iris; Jalali, Raheleh; Kuznets, Roman.
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. ed. / Revantha Ramanayake; Josef Urban. 2023. p. 263-282 (Lecture Notes in Computer Science; Vol. 14278).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Extensions of K5: proof theory and uniform Lyndon interpolation

AU - van der Giessen, Iris

AU - Jalali, Raheleh

AU - Kuznets, Roman

PY - 2023

Y1 - 2023

U2 - 10.1007/978-3-031-43513-3_15

DO - 10.1007/978-3-031-43513-3_15

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 263

EP - 282

BT - Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023

A2 - Ramanayake, Revantha

A2 - Urban, Josef

ER -