Talks and Poster Presentations (with Proceedings-Entry):
E. Pimentel, R. Ramanayake, B. Lellmann:
"Sequentialising Nested Systems";
Talk: TABLEAUX 2019,
London, UK;
2019-09-03
- 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.);
Springer,
LNCS, vol.11714
(2019),
ISBN: 978-3-030-29025-2;
147
- 165.
English abstract:
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.
Keywords:
Modal logic, Proof theory, Nested sequents
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-29026-9_9
Created from the Publication Database of the Vienna University of Technology.