Computational Logic Seminar
Distinguished Professor Sergei Artemov
This semester the seminar will focus on constructive reasoning and applications in social sciences.
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.