PHILOSOPHY: people
City University of New York Graduate Center
Sergei Artemov
Distinguished Professor
Dr.Sci, Moscow University
Links:
Research Interests
- Logic, provability, proofs and types
- Modal and epistemic logics
- Knowledge representation and artificial intelligence
Courses Recently Taught
- Topics in Logics and their Uses: Proofs and Computations Phil (Spring 2004)
- Topics in Logic and their Uses: Computational Logic (Fall 2002)
- Also 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.