Show The Graduate Center Menu
 
 

Computational Logic Seminar

Instructor

Distinguished Professor Sergei Artemov

Description

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

Assessment

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