Rasmus Rendsvig – Logics for Social Networks

11 June 2020 – 5pm on Teams

In this talk, I will discuss logics for social networks, their epistemic extensions, and dynamics in such structure, including diffusion as modeled by threshold models. I will present a selection of recent models for social networks and their epistemics, with a focus on how these may be represented using dynamic term-modal logic (DTML)—a dynamic, quantified
modal/epistemic logic, where the subscripts of operators are first-order terms, allowing formulas such as $\exist x K_x N(x,b)$: there exists and agent that knows that it is networked with agent b. DTML is based on an enriched version of action models of dynamic epistemic logic fame, and comes with a complete set of reduction axioms. Modelling social network dynamics in DTML thus directly provide sound and complete logics. Additionally, such logics are decidable when only a finite set of agents is considered.

Click here to login in to Microsoft Teams

Rasmus K. Rendsvig is Postdoctoral researcher at the Center for Information and Bubble Studies,University of Copenhagen

Online Seminar Series

After the first talk by Pere Pardo, our online seminar series continues!

All the talks will take place via Microsoft Teams, starting at 17:00.

Here is the schedule for the semester:

22/04 – Ofer Arieli   (Academic College of Tel Aviv)

07/05 – Jonathan Lawry (University of Bristol)

14/05 – Marcelo Finger (University of Sao Paulo )

21/05 – Nina Gierasimczuk ( Danish Technical University )

27/05 – Anthia Solaki (University of Amsterdam)

11/06- Rasmus Rendsvig (University of Copenhagen)

Online Seminar Series started. Pere Pardo (UNIMI): Towards a Tractable Epistemic Logic

The Logic Group successfully started its Seminar Series online on Teams last week. On 19/03 Pere Pardo gave a talk on “Towards a Tractable Epistemic Logic”. We will reschedule guest lectures and add group’s members lectures. The talks will be open to attend with a shared link. Monitor this website or contact us for updates.