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, "Explicit provability and constructive semantics," Bulletin of Symbolic Logic, v. 7, No.1, pp. 1-36, 2001
- J.Alt and S.Artemov, "Reflective lambda-calculus", In Springer Lecture Notes in Computer Science; v.2183, Proceedings of the Dagstuhl-Seminar on Proof Theory in Computer Science, 2001
- S. Artemov, "Operations on proofs that can be specified by means of modal logic," Advances in Modal Logic, Volume 2, CSLI Publications, Stanford University, pp. 59-72, 2001.
- S. Artemov, "Understanding Constructive Semantics '', Spinoza Lecture for European Association for Logic, Language and Information, Utrecht, August 1999
- S. Artemov, "Uniform provability realization of intuitionistic logic, modality and lambda-terms", Electronic Notes on Theoretical Computer Science v. 23, No. 1, 1999
- S. Artemov, "On explicit reflection in theorem proving and formal verification," In Springer Lecture Notes in Artificial Intelligence v. 1632 , Automated Deduction - CADE-16. Proceedings of the 16th International Conference on Automated Deduction, Trento, Italy, July 1999, pp. 267-281, 1999