Tölvunarfræðideild

Viðburðir

ICE-TCS Lectures Series - Bryan Renne - Arrow Update Logic

me

The next ICE-TCS  talk will be delivered on Friday, 17 September, by Bryan Renne (University of Groningen, NL). The talk, which is entitled Arrow Update Logic, will be held at 14:00 in room M1.05 at the new premises of Reykjavik University in Nauthólsvík.





Abstract


ICE-TCS-logo-200pxPublic Announcement Logic generally comes in two flavors:  Plaza's logic, in which a public announcement of a statement eliminates all epistemic possibilities in which the statement does not hold, and Gerbrandy and Groeneveld's logic, in which a public announcement of a statement merely eliminates access to all epistemic possibilities in which the statement does not hold.  The most popular Dynamic Epistemic Logic, due to Baltag, Moss, and Solecki, generalizes Plaza's logic by eliminating epistemic possibilities that do not satisfy certain preconditions.  However, many examples of epistemic or doxastic update are most naturally thought of in terms of merely eliminating access to such possibilities.

In this talk, I will present Arrow Update Logic, a theory of epistemic access-elimination that generalizes Gerbrandy and Groeneveld's logic of public announcements.  This work-in-progress is joint with Barteld Kooi (University of Groningen).