ELISIEM - Epistemic Logic for Individual, Social, and Interactive Epistemology

Workshop at the 26th European Summer School in Logic, Language and Information 
Tübingen, Germany, August 11-15, 2014

Organized by Wes Holliday (UC Berkeley) and Thomas Icard (Stanford University)

Epistemic Logic is a formal approach to modeling knowledge, belief, and other informational attitudes, developed by logicians, philosophers, computer scientists, AI researchers, economists, linguists, and others. Historically, with its origins in philosophy, epistemic logic promised to illuminate traditional issues of epistemology, the theory of knowledge. In recent years, epistemic logic has been making good on that promise, with important new applications not only to individual epistemology, a traditional focus of philosophers for the last two-and-a-half thousand years, but also in social epistemology, the more recent investigation of the social dimensions of knowledge and information flow, as well as interactive epistemology, the study of knowledge and belief in strategic, game-theoretic situations. 

During five 90-minute sessions, the ELISIEM workshop will feature presentations covering the latest applications of epistemic logic to individual, social, and interactive epistemology, putting work at this fascinating intersection on the map of interdisciplinary activities in logic.