Mathematical 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.
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.