Event info

Expressivity Meets Decidability in Spatiotemporal Logics

Date: Tuesday, December 10, 12:00 - 13:00

Zoom: https://us06web.zoom.us/j/83101963847

Speaker: Yoàv Montacute (National Institute of Informatics)

Abstract:
The search for a complete logic for topological dynamics, posed as an open problem by Kremer and Mints in the mid-2000s, has been a central challenge in the field. Using the Cantor derivative interpretation within the topological semantics of modal logic, we establish a complete logical framework for dynamical systems. However, when incorporating global temporal modalities, this logic becomes undecidable. To balance expressivity with decidability, we introduce a topological fixed-point operator, achieving a logic that remains both expressive and decidable. These advancements pave the way for efficient formal reasoning and verification techniques for dynamical systems, which are essential for the development of multi-agent systems and artificial intelligence.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This seminar series is a valuable opportunity for graduate students to get acquainted with the work of more experienced researchers in various mathematical fields. Undergraduate students are also welcome to join, as the talks are intended for non-experts, too. Regardless of your area of research, you can attend the seminar to expand your knowledge and get in touch with the latest developments in mathematics for industry.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~