@inproceedings{514e48845c0a474695d102977b8d4b68,
title = "Proof theory for indexed nested sequents",
abstract = "Fitting{\textquoteright}s indexed nested sequents can be used to give deductive systems to modal logics which cannot be captured by pure nested sequents. In this paper we show how the standard cut-elimination procedure for nested sequents can be extended to indexed nested sequents, and we discuss how indexed nested sequents can be used for intuitionistic modal logics.",
author = "Sonia Marin and Lutz Stra{\ss}burger",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017 ; Conference date: 25-09-2017 Through 28-09-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-66902-1\_5",
language = "English",
isbn = "9783319669014",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "81--97",
editor = "Claudia Nalon and Schmidt, \{Renate A.\}",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Proceedings",
}