Uniform interpolation via Nested Sequents

Iris van der Giessen; Roman Kuznets; Raheleh Jalali Keshavarz

doi:10.1007/978-3-030-88853-4_21

Uniform interpolation via Nested Sequents

Iris van der Giessen, Roman Kuznets, Raheleh Jalali Keshavarz

OFR - Theoretical Philosophy

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Workshop on Logic, Language, Information and Computation (WoLLIC 2021)
Editors	A. Silva, R. Wassermann, R. de Queiroz
Publisher	Springer
Pages	337-354
Volume	LNTCS 13038
DOIs	https://doi.org/10.1007/978-3-030-88853-4_21
Publication status	Published - 2021

Publication series

Name	LNCS

Access to Document

10.1007/978-3-030-88853-4_21

978-3-030-88853-4_21Final published version, 481 KBLicence: Taverne

Cite this

@inproceedings{9b4268e6e09f45aa87b1b6766be6e790,

title = "Uniform interpolation via Nested Sequents",

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

year = "2021",

doi = "10.1007/978-3-030-88853-4\_21",

language = "English",

volume = "LNTCS 13038",

series = "LNCS",

publisher = "Springer",

pages = "337--354",

editor = "A. Silva and R. Wassermann and \{de Queiroz\}, R.",

booktitle = "Workshop on Logic, Language, Information and Computation (WoLLIC 2021)",

}

Uniform interpolation via Nested Sequents. / van der Giessen, Iris; Kuznets, Roman; Jalali Keshavarz, Raheleh.
Workshop on Logic, Language, Information and Computation (WoLLIC 2021). ed. / A. Silva; R. Wassermann; R. de Queiroz. Vol. LNTCS 13038 Springer, 2021. p. 337-354 (LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Uniform interpolation via Nested Sequents

AU - van der Giessen, Iris

AU - Kuznets, Roman

AU - Jalali Keshavarz, Raheleh

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-88853-4_21

DO - 10.1007/978-3-030-88853-4_21

M3 - Conference contribution

VL - LNTCS 13038

T3 - LNCS

SP - 337

EP - 354

BT - Workshop on Logic, Language, Information and Computation (WoLLIC 2021)

A2 - Silva, A.

A2 - Wassermann, R.

A2 - de Queiroz, R.

PB - Springer

ER -