Francesco Belardinelli, Alessio Lomuscio. Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artificial Intelligence, 173(9-10):982-1013, 2009. [doi]
@article{BelardinelliL09:0,
title = {Quantified epistemic logics for reasoning about knowledge in multi-agent systems},
author = {Francesco Belardinelli and Alessio Lomuscio},
year = {2009},
doi = {10.1016/j.artint.2009.02.003},
url = {http://dx.doi.org/10.1016/j.artint.2009.02.003},
tags = {logic},
researchr = {https://researchr.org/publication/BelardinelliL09%3A0},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {173},
number = {9-10},
pages = {982-1013},
}