Talks and Poster Presentations (with Proceedings-Entry):
E. Pimentel, R. Ramanayake, B. Lellmann:
"Sequentialising Nested Systems";
Talk: TABLEAUX 2019,
- 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings",
S. Cerrito, A. Popescu (ed.);
In this work, we investigate the proof theoretic connections between sequent and nested proof calculi. Specifically, we identify general conditions under which a nested calculus can be transformed into a sequent calculus by restructuring the nested sequent derivation (proof) and shedding extraneous information to obtain a derivation of the same formula in the sequent calculus. These results are formulated generally so that they apply to calculi for intuitionistic, normal modal logics and negative modalities.
Modal logic, Proof theory, Nested sequents
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.