1. Justified common knowledge;Artemov;Theoretical Computer Science,2006
2. LomuscioA. Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results;Belardinelli;Journal of Artificial Intelligence Research,2012
3. A Modal Logic for Indiscernibility and Complementarity in Information Systems;Balbiani;Fundam. Inform.,2002
4. Knowledge and Belief: An Introduction to the Logic of the Two Notions;Hintikka,1962
5. Lomuscio A., Michaliszyn J. An Epistemic Halpern-Shoham Logic. Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI13), AAAI Press, Beijing, China, 2013, pp. 1010-1016.