The intuitionistic temporal logic of dynamical systems

A dynamical system is a pair (X, f), where X is a topological space and f : X -> 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 ITL lozenge c, and show that it is decidable. We also show that minimality and Poincare recurrence are both expressible in the language of ITL lozenge c, thus providing a decidable logic capable of reasoning about non-trivial asymptotic behavior in dynamical systems.

Jaar van publicatie:2018

BOF-keylabel:ja

IOF-keylabel:ja

CSS-citation score:1

Auteurs:National

Authors from:Higher Education

Toegankelijkheid:Open