News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

14 September 2021, The Utrecht Logic in Progress Series (TULIPS), Dominik Klein

Speaker: Dominik Klein (Utrecht)
Title: Worlds far apart: From Kripke Models to Dynamical Systems
Date: Tuesday 14 September 2021
Time: 16:00-17:30
Location: Ravensteynzaal (Kromme Nieuwegracht 80, room 1.06)

Abstract: In this talk, we explore the universe of iterated information updates on a logical model. In particular, we show how iterated updates can be understood as a discrete time dynamic system.

In the first part of this talk, we show how to define distances between pointed Kripke models. These distances can be tailored to the modeler’s needs, putting much weight on propositions that are important for the purpose at hand and discounting those that are not. We then explore the resulting topological spaces and characterize compactness and when different metrics lead to the same topology.

In the second part, we show two applications of the metrics defined: First, our metrics allow to classify which sequences of Kripke Models converge in the limit. With this in hand, we can classify when a social protocol reaches its aim and whether this can be reached in finite time, in the limit or not at all. As a second application, we show that logical product updates with postconditions are continuous in the topology defined. Hence, the space of Kripke models together with iterated product updates forms a discrete time dynamical system.Time permitting we also show that the resulting dynamic system can display non-trivial limit behavior. This is joint work with Rasmus Rendsvig.

Please note that this newsitem has been archived, and may contain outdated information or links.