24 February 2012
11:30-13:00 in building 322, room 030, at DTU (Technical University of Denmark).
Title: Enhancing fitness and flexibility of logic-based models of knowledge and beliefs
Abstract: There are several inherited limitations of classical epistemic logic leading to well known paradoxes such as logical omniscience, which derives from the fact that the scenario/the epistemic possible world model is common knowledge among the involved agents. The aim of my Carlsberg project (1 year post.doc. to be carried out at ILLC, Amsterdam) is to investigate the possibility of partial versions of epistemic logic that allows for the entering of new facts and agents into possible world models. The basic idea is inspired by Dynamic Epistemic Logic, where modalities that can change possible world models are introduced. Since my project is not yet started, I do not have any final results yet. Thus the talk will mostly be a presentation of some of the ideas and different approaches, which I intend to investigate in the project.