Talks and Poster Presentations (with Proceedings-Entry):
I. van der Giessen, R. Jalali, R. Kuznets:
"Uniform Interpolation via Nested Sequents";
Talk: The 27th International Workshop, WoLLIC 2021,
online;
2021-10-05
- 2021-10-08; in: "Logic, Language, Information, and Computation 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings",
Lecture Notes in Computer Science,
13038
(2021),
ISSN: 0302-9743;
337
- 354.
English abstract:
A modular proof-theoretic framework was recently developed to prove Craig interpolation for normal modal logics based on generalizations of sequent calculi (e.g., nested sequents, hypersequents, and labelled sequents). In this paper, we turn to uniform interpolation, which is stronger than Craig interpolation. We develop a constructive method for proving uniform interpolation via nested sequents and apply it to reprove the uniform interpolation property for normal modal logics K, D, and T. While our method is proof-theoretic, the definition of uniform interpolation for nested sequents also uses semantic notions, including bisimulation modulo an atomic proposition.
Keywords:
Uniform interpolation, Modal logic, Nested sequents
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-88853-4_21
Created from the Publication Database of the Vienna University of Technology.