1. Artemov, S.: Operational modal logic. Technical Report MSI 95-29, Cornell University (1995)
2. Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)
3. Artemov, S.: Operations on proofs that can be specified by means of modal logic. In: Advances in Modal Logic., vol. 2, pp. 59–72. CSLI Publications, Stanford University (2001)
4. Artemov, S.: Evidence-based common knowledge. Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science (2005)
5. Artemov, S.: Justified common knowledge. Theoretical Computer Science 357(1–3), 4–22 (2006)