1. Antonakos, E. (2007). Justified and common knowledge: Limited conservativity. In S. Artemov & A. Nerode (Eds.), Logical Foundations of Computer Science. International Symposium, LFCS 2007, Proceedings, New York, June 2007 (Lecture notes in computer science, Vol. 4514, pp. 1–11). Springer.
2. Artemov, S. (1995). Operational modal logic. Technical report MSI 95-29, Cornell University.
3. Artemov, S. (1999). Understanding constructive semantics. In Spinoza Lecture for European Association for Logic, Language and Information, Utrecht, Aug 1999.
4. Artemov, S. (2001). Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7(1), 1–36.
5. Artemov, S. (2006). Justified common knowledge. Theoretical Computer Science, 357(1–3), 4–22.