Fernández-Duque, David - The intuitionistic temporal logic of dynamical systems

lmcs:4702 - Logical Methods in Computer Science, July 20, 2018, Volume 14, Issue 3
The intuitionistic temporal logic of dynamical systems

Authors: Fernández-Duque, David

A dynamical system is a pair $(X,f)$, where $X$ is a topological space and $f\colon X\to X$ is continuous. Kremer observed that the language of propositional linear temporal logic can be interpreted over the class of dynamical systems, giving rise to a natural intuitionistic temporal logic. We introduce a variant of Kremer's logic, which we denote ${\sf ITL^c}$, and show that it is decidable. We also show that minimality and Poincar\'e recurrence are both expressible in the language of ${\sf ITL^c}$, thus providing a decidable logic expressive enough to reason about non-trivial asymptotic behavior in dynamical systems.

Source : oai:arXiv.org:1611.06929
DOI : 10.23638/LMCS-14(3:3)2018
Volume: Volume 14, Issue 3
Published on: July 20, 2018
Submitted on: April 24, 2017
Keywords: Mathematics - Logic


Consultation statistics

This page has been seen 59 times.
This article's PDF has been downloaded 28 times.