Francesco Belardinelli, Alessio Lomuscio. First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. In Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Volume 5514 of Lecture Notes in Computer Science, pages 140-154, Springer, 2009. [doi]
@inproceedings{BelardinelliL09,
title = {First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment},
author = {Francesco Belardinelli and Alessio Lomuscio},
year = {2009},
doi = {10.1007/978-3-642-02261-6_12},
url = {http://dx.doi.org/10.1007/978-3-642-02261-6_12},
tags = {logic},
researchr = {https://researchr.org/publication/BelardinelliL09},
cites = {0},
citedby = {0},
pages = {140-154},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
editor = {Hiroakira Ono and Makoto Kanazawa and Ruy J. G. B. de Queiroz},
volume = {5514},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02260-9},
}