日時: 毎週金曜日 15:00 ~
Date: Fridays 15:00~
開催場所: 東北大学理学研究科合同A棟 801号室 (場合によりZoom等で実施)
Venue: Tohoku university, Science department, Complex A, 801 (and online via zoom)
過去のセミナー情報については，こちらよりご覧ください
For information of past seminars: here
研究活動の記録については，こちらよりご覧ください
For information of research activities: here
今後のセミナー情報(Future schedule)
Title: Towards a Decidable Logic of Dynamical Systems
Venue: Complex A 801 via online(zoom)
Time: 15:00-
Abstract: The search for a complete logic for dynamical systems, posed as an open problem by Kremer and Mints in the mid-2000s, has been a central challenge in the study of spatiotemporal modal logics. Using the Cantor derivative interpretation within the topological semantics of modal logic, we have established a complete logical framework for dynamical systems. The logic of dynamical systems includes a global temporal modality, which comes at the cost of undecidability. To address this, we introduce a topological fixed-point operator, retaining expressivity while restoring decidability. These advancements pave the way for efficient formal reasoning and verification techniques for dynamical systems. This talk will provide a brief overview of the research programme on logic and dynamical systems, along with its most recent developments.