Speaker: Igor Sedlár (Czech Academy of Science)
Date and Time: Thursday, October 31st 2024, 16:30-18:00
Venue: online
Title: On the Dynamics of Dynamic Attitudes
Abstract. In events involving information updates, the source of the update-causing information often determines how the information is received and, consequently, what specific update different agents undergo. Logics in which sources of update-causing information are explicitly modelled, and in which agents’ attitudes towards particular pieces of information coming from particular sources are taken into account, are relatively rare in the dynamic epistemic logic literature. An example is provided by Rodenhäuser’s logics of information updates with dynamic attitudes, developed in his Ph.D. thesis (ILLC, 2014).
We simplify and transpose Rodenhäuser’s framework to the setting of Public Announcement Logic, and extend it with mechanisms that represent changes in agents’ attitudes towards specific pieces of information from specific sources – dynamics of dynamic attitudes. As this is a work-in-progress talk and mostly programmatic, we focus on examples and present only a handful of technical results, mostly related to completeness via reduction axioms.