<p>Dynamical systems model physical processes, but also computing, informational inquiry, or interaction in games. Some attractive modal logics exist for analyzing high-level behavior of dynamical systems, such as Dynamic Topological Logic. Adding to these, we focus on the fine-structure of states, associating them with assignments of values to variables. We present a logic with a perspicuous syntax for reasoning about dependencies over time. We study the properties of this system by presenting an effective reduction to a basic modal logic of functional dependence. This can be seen as justifying a common intuition that temporal dependence is a special case of general dependence when we follow the course of time. We also consider the addition of standard temporal modalities to this logic, where the reductive intuition no longer holds in general. On this base, we then introduce topological structure, and investigate the logic of continuous dependence given a continuous transition function, which can also be seen as modelling not just dependence but monotonic dependence for patterns of growth. Finally, we briefly discuss some further logical structures in dynamical systems such as term equalities, independence and non-deterministic choice.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Temporal Dependencies in Dynamical Systems, a Modal-Style Exploration

  • Alexandru Baltag,
  • Johan van Benthem,
  • Dazhu Li

摘要

Dynamical systems model physical processes, but also computing, informational inquiry, or interaction in games. Some attractive modal logics exist for analyzing high-level behavior of dynamical systems, such as Dynamic Topological Logic. Adding to these, we focus on the fine-structure of states, associating them with assignments of values to variables. We present a logic with a perspicuous syntax for reasoning about dependencies over time. We study the properties of this system by presenting an effective reduction to a basic modal logic of functional dependence. This can be seen as justifying a common intuition that temporal dependence is a special case of general dependence when we follow the course of time. We also consider the addition of standard temporal modalities to this logic, where the reductive intuition no longer holds in general. On this base, we then introduce topological structure, and investigate the logic of continuous dependence given a continuous transition function, which can also be seen as modelling not just dependence but monotonic dependence for patterns of growth. Finally, we briefly discuss some further logical structures in dynamical systems such as term equalities, independence and non-deterministic choice.