A Logical Analysis of Dynamic Dependence

04/16/2022
by   Alexandru Baltag, et al.
0

Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamical systems from a logical perspective, by extending a minimal modal base logic of static functional dependencies. We define a logic for dynamical systems with single time steps, provide a complete axiomatic proof calculus, and show the decidability of the satisfiability problem for a substantial fragment. The system comes in two guises: modal and first-order, that naturally complement each other. Next, we consider a timed semantics for our logic, as an intermediate between state spaces and temporal universes for the unfoldings of a dynamical system. We prove completeness and decidability by combining techniques from dynamic-epistemic logic and modal logic of functional dependencies with complex terms for objects. Also, we extend these results to the timed logic with functional symbols and term identity. Finally, we conclude with a brief outlook on how the system proposed here connects with richer temporal logics of system behavior, and with dynamic topological logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/27/2021

A Simple Logic of Functional Dependence

This paper presents a simple decidable logic of functional dependence LF...
research
02/27/2018

Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints

In this work, we propose an event-triggered con- trol framework for dyna...
research
09/01/2017

Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

The paper analyzes dynamic epistemic logic from a topological perspectiv...
research
12/30/2019

Exploring the Jungle of Intuitionistic Temporal Logics

The importance of intuitionistic temporal logics in Computer Science and...
research
06/13/2022

Local Dependence and Guarding

We study LFD, a base logic of functional dependence introduced by Baltag...
research
01/24/2023

Dynamic Tangled Derivative Logic of Metric Spaces

Dynamical systems are abstract models of interaction between space and t...
research
09/25/2018

Automated, predictive, and interpretable inference of C. elegans escape dynamics

The roundworm C. elegans exhibits robust escape behavior in response to ...

Please sign up or login with your details

Forgot password? Click here to reset