Show The Graduate Center Menu

Computational Logic Seminar

 
 

Computational Logic Seminar

Instructor: Distinguished Professor Sergei Artemov


Rationale:

This is a permanent research seminar mostly featuring talks on the original research in the broader area of logic and computation, including applications in exact and social sciences.
 

Course description:

This semester the seminar will focus on epistemic and justification logics and their applications.
 

Learning Goals/Outcomes:

Studying recent advances and applications of epistemic justification logic.

1. Models of justification logics and completeness theorems.
2. Complexity issues in justification logics.
3. Paraconsistency via justification logic.
4. Distributed computer knowledge.
5. Categoricity issues in epistemic logic.

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

Assessment:

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