Show The Graduate Center Menu

Computational Logic Seminar


Distinguished Professor Sergei Artemov


This semester the seminar will focus on constructive reasoning and applications in social sciences.

Learning Goals

A variety of research projects for students will be offered and discussed.

  • Syntactic Epistemic Logic
  • Epistemic Game Theory
  • Logic of verification and knowledge
  • Intuisionistic Epistemic Logic
  • Logic of proofs and justifications
  • Paraconsistency via justification logic


Grades will be issued on the basis of attendance, seminar activity and personal student-instructor discussions.