22 October 2013, Logic Tea, Zoe Christoff

Abstract

We propose a dynamic hybrid logic to reason about social networks and their dynamics building on the work of Logic in the Community" by Seligman, Liu and Girard. Our framework distinguishes between the purely private sphere of agents, namely their mental states, and the public sphere of their observable behavior, i.e., what they seem to believe. We then show how such a distinction allows our framework to model many social phenomena, by presenting the case of pluralistic ignorance as an example and discussing some of its dynamic properties.

This is joint work with Jens Ulrik Hansen.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).