Linh Anh Nguyen. Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. In Roy Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings. Volume 1847 of Lecture Notes in Computer Science, pages 341-351, Springer, 2000.
@inproceedings{Nguyen00:2,
title = {Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5},
author = {Linh Anh Nguyen},
year = {2000},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/Nguyen00%3A2},
cites = {0},
citedby = {0},
pages = {341-351},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings},
editor = {Roy Dyckhoff},
volume = {1847},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67697-X},
}