Dirk Pattinson, Lutz Schröder. Generic Modal Cut Elimination Applied to Conditional Logics. In Martin Giese, Arild Waaler, editors, Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Volume 5607 of Lecture Notes in Computer Science, pages 280-294, Springer, 2009. [doi]
@inproceedings{PattinsonS09,
title = {Generic Modal Cut Elimination Applied to Conditional Logics},
author = {Dirk Pattinson and Lutz Schröder},
year = {2009},
doi = {10.1007/978-3-642-02716-1_21},
url = {http://dx.doi.org/10.1007/978-3-642-02716-1_21},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/PattinsonS09},
cites = {0},
citedby = {0},
pages = {280-294},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings},
editor = {Martin Giese and Arild Waaler},
volume = {5607},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02715-4},
}