Rajeev Goré, Linda Postniece, Alwen Tiu. Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. 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 189-204, Springer, 2009. [doi]
@inproceedings{GorePT09,
title = {Taming Displayed Tense Logics Using Nested Sequents with Deep Inference},
author = {Rajeev Goré and Linda Postniece and Alwen Tiu},
year = {2009},
doi = {10.1007/978-3-642-02716-1_15},
url = {http://dx.doi.org/10.1007/978-3-642-02716-1_15},
tags = {logic},
researchr = {https://researchr.org/publication/GorePT09},
cites = {0},
citedby = {0},
pages = {189-204},
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},
}