@article{Belardinelli_2009,
    doi = {10.1016/j.artint.2009.02.003},
    url = {https://doi.org/10.1016%2Fj.artint.2009.02.003},
    year = {2009},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {173},
    number = {9-10},
    pages = {982--1013},
    author = {F. Belardinelli and A. Lomuscio},
    title = {Quantified epistemic logics for reasoning about knowledge in multi-agent systems},
    journal = {Artificial Intelligence}
}

@article{Belardinelli_2009, doi = {10.1016/j.artint.2009.02.003}, url = {https://doi.org/10.1016%2Fj.artint.2009.02.003}, year = {2009}, month = {jun}, publisher = {Elsevier {BV}}, volume = {173}, number = {9-10}, pages = {982--1013}, author = {F. Belardinelli and A. Lomuscio}, title = {Quantified epistemic logics for reasoning about knowledge in multi-agent systems}, journal = {Artificial Intelligence} }