Event Detail

Fri Mar 1, 2013
60 Evans Hall, 4:10–6 PM
Logic Colloquium
Wesley Holliday (UC Berkeley)
Recent Work in Epistemic Logic

Epistemic logic provides a formal framework for modeling the knowledge of agents. Used by philosophers, theoretical computer scientists, AI researchers, game theorists, and others, epistemic logic has become one of the main application areas for modal logic. In this talk, I will survey some recent work in epistemic logic related to my research. The focus will be on how the formalization of philosophical ideas has led to interesting logical issues. Examples will include new kinds of preservation theorems and axiomatization results, as well as open problems. Some of the papers mentioned in the talk are available at: http://philosophy.berkeley.edu/people/page/128