Computational Logic Seminar
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.
This semester the seminar will focus on epistemic and justification logics and their applications.
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.
Grades will be issued on the basis of attendance, seminar activity and personal student-instructor discussions .