Dear all,
We will have our next LIRa session tomorrow, on Thursday, 31 October 16:30.
To attend, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)
You can find the details of the talk below.
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.
Hope to see you there!
The LIRa team