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.