Reasoning about Belief in Social Software using Modal Logic Faculty of Humanities Department of Philosophy Cognitive Artificial Intelligence