28 November 2023, VVL Essentials, Rustam Galimullin

VvL Essentials talks are high-level introductory talks, that introduce early-career logicians to a field they may not be familiar with. This forms a low-threshold way to broaden their own specific research area and encourages collaborations. The talks will be hosted by different universities within the Netherlands, and they will have a hybrid format - for those who attend in person, drinks and snacks will be provided afterwards!

The second edition of VvL Essentials is organized by Rodrigo Almeida (PhD student at the ILLC), Giovanni Varricchione, Nima Motamed and Robin (PhD students at Utrecht University), and the details are as follows:

* Speaker: Rustam Galimullin (University of Bergen)

* When: November 28, 16h00-18h00

* Where: Utrecht University (Ruppert 005), or on Zoom (https://uva-live.zoom.us/j/85911072441)

* Title: Dynamic Epistemic Logic Essentials

* Abstract: Dynamic epistemic logic (DEL) is an umbrella term for a numerous family of formalisms for reasoning about how agents' knowledge or beliefs change as a result of various epistemic actions. Such actions capture a plethora of scenarios: public and private announcements, observations, eavesdropping, etc. In the lecture, we will get acquainted with some of the classic DELs, flesh out some of the overarching patterns and intuitions in the field, and introduce foundational concepts and results. Moreover, we will survey the current state of the art and recent exciting research directions within DEL. For the lecture, I will not assume any familiarity with DEL or modal logics in general.

For more information, see https://verenigingvoorlogica.nl/nl/Activiteiten/ or contact Rodrigo Almeida at r.dacruzsilvapinadealmeida at uva.nl.