Tableau calculus for only knowing and knowing at most

Riccardo Rosati.
In Proceedings of the Ninth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000), Lecture Notes in Artificial Intelligence, volume 1847, pages 383-397, Springer, 2000. ISBN 978-3-540-67697-3.

Bibtex entry:

@String{TABLEAUX-00 = "Proceedings of the Ninth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX~2000)"}

@String{SV = "Springer"}

@String{LNAI = "Lecture Notes in Artificial Intelligence"}

@Inproceedings{Rosa00b,
author = "Riccardo Rosati",
title = "Tableau calculus for only knowing and knowing at most",
booktitle = TABLEAUX-00,
pages = "383--397",
publisher = SV,
series = LNAI,
volume = 1847,
year = 2000,
isbn = "978-3-540-67697-3",
}

Link to electronic version of published paper