NASSLLI 2012 June 18 - 22

Links

Sign up here for our Mailing List:

Questions? Email us:

nasslli@nasslli2012.com

Search the site:

  Powered by Google

Logical Dynamics of Information and Interaction

Description

We will present some basic dynamic logics that analyze information-driven rational agency. Specific topics will be: information update, belief revision, inference and questions, preference change, temporal logic, and games. The course includes applications in philosophy, computer science, and game theory, and the readings will provide many pointers to current research.

Prerequisites

basic first-order logic, basic modal logic

Preparation

The course will use material from J. van Benthem, 2010, "Modal Logic for Open Minds", CSLI Publications, Stanford, 2011, especially the chapters on agency: Chs 12 -- 17. For background, see the introductory chapter to "Logical Dynamics of Information and Interaction", Cambridge University Press, 2011.

Syllabus

  1. epistemic logic and information update
  2. dynamic logics for belief revision
  3. inference, questions, and preference change
  4. temporal logic of long-term action
  5. social interaction and games.

Lecturer

Johan van Benthem
Email: johan (at) csli (dot) stanford (dot) edu

Bio:

Johan van Benthem is University Professor of Logic at the University of Amsterdam, Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and National Distinguished Expert at Tsinghua University.