Loading Events

« All Events

  • This event has passed.

Protocols in Dynamic Epistemic Logic

May 30, 2019 @ 10:00 am - 12:00 pm

Speaker:  Alexandru Dragomir (University of Bucharest)


Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning (epistemic actions). However, not all epistemic actions are allowed to be executed in an initial epistemic model, and this is where the concept of a protocol comes in: a protocol stipulates what epistemic actions are allowed to be performed in a model. The aim of my presentation is to introduce the audience to two accounts of protocols in DEL: one based on [1], and the second on [2].

References:
[1] T. Hoshi, Epistemic dynamics and protocol information, PhD thesis, Stanford University, 2009.
[2] Y. Wang, Y. Epistemic Modelling and Protocol Dynamics, PhD thesis, University of Amsterdam, 2010.

Details

Date:
May 30, 2019
Time:
10:00 am - 12:00 pm
Event Category:

Venue

Facultatea de Matematica si Informatica, sala 202