**Position:**Distinguished Professor

**Campus Affiliation:**Graduate Center

**Degrees/Diplomas:**Dr.Sci, Moscow University

**Research Interests**

- Mathematical logic, provability, proofs and types
- Modal and epistemic logics
- Knowledge representation and artificial intelligence

**Courses Recently Taught**

- See past courses in the Computer Science program.

**Representative Publications**

S. Artemov. Intelligent Players. Technical Report TR-2009006, CUNY Ph.D. Program in Computer Science, 2009.

S. Artemov. "The Logic of Justification," *The Review of Symbolic Logic*. v.1, No. 4, pp. 477-513, 2008.

S. Artemov.* Epistemology: 5 Questions*. Vincent F. Hendricks and Duncan Pritchard, eds. Automatic Press/VIP 2008, pp. 11-19, 2008.

S. Artemov and E. Bonelli. "The Intensional Lambda Calculus," Lecture Notes in Computer Science, Springer, v. 4514,* Logical Foundations of Computer Science* 2007, pp. 2–18, 2007.

S. Artemov. "Modal logic in mathematics." In P. Blackburn, et al., editors, *Handbook of Modal Logic*, Elsevier, pp. 927–970, 2006.

S. Artemov. "Justified common knowledge,'' *Theoretical Computer Science*, v. 357, pp. 4–22, 2006.

S. Artemov and R. Kuznets. "Logical Omniscience via Proof Complexity." In Z. Esik, editor, *Computer Science Logic* 2006, Lecture Notes in Computer Science, v. 4207, pp. 135–149, Springer, 2006.

S. Artemov and L. Beklemishev. "Provability logic." In D.Gabbay and F.Guenthner, editors, *Handbook of Philosophical Logic*, 2nd ed., v. 13, pp. 189–360. Springer, Dordrecht, 2005.

S. Artemov and E. Nogina. "Introducing justification into epistemic logic," *Journal of Logic and Computation*. Oxford University Press, v. 15, No. 6, pp.1059–1073, 2005.

S. Artemov, "Explicit provability and constructive semantics," *Bulletin of Symbolic Logic*, v. 7, No.1, pp. 1–36, 2001.

S. Artemov. "Logic of Proofs," *Annals of Pure and Applied Logic*, v. 67, No. 2, pp. 29–59, 1994.

S. Artemov. "Kolmogorov logic of problems and a provability interpretation of intuitionistic logic." In *Theoretical Aspects of Reasoning about Knowledge - III Proceedings*, Morgan Kaufman Pbl., pp. 257–272, 1990.

S. Artemov et al. *Six Papers in Logic*. American Mathematical Society Translations, series 2, v. 135, 1987.

S. Artemov. "Modal logics axiomatizing provability," *Math USSR Izvestiya*, v. 27, No. 2, pp. 401–429, 1986.

S. Artemov. "Non-arithmeticity of truth predicate logics of provability," *Soviet Math*. Doklady, v. 32, No. 2, pp. 403–405, 1985.