Logics for Formal Epistemology
Logic and Computation (Foundational)
Second week, from 17:00 to 18:30
This course is addressed to students and researchers interested in how logic can be put to use for the study of epistemological questions, by using insights and methods developed in a number of fields ranging from Belief Revision Theory, Epistemic Logic, Formal Learning Theory and Game Theory. We focus on formal approaches to qualitative belief representation, belief revision, interactive learning and doxastic group attitudes. As such we present, compare and relate various models for both qualitative belief and knowledge and investigate their applications.