Show The Graduate Center Menu
Sergei Artemov
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

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.