Logical Analysis of Temporal Dependencies in Dynamical Systems

The core message of this article is to develop a logical framework, called the Logic of Dependence with Temporalized Variables (LDTV), for reasoning about dependencies that manifest over time in dynamical systems. The authors introduce this logic, provide a complete axiomatization, and show that its satisfiability problem is decidable.