The intuitionistic temporal logic of dynamical systems

DOI10.23638/LMCS-14(3:3)2018MaRDI QIDQ4580328zbMATH OpenFDO

Authors David Fernández-Duque

Publication date 15 August 2018

Full work available at URL https://arxiv.org/abs/1611.06929

zbMATH Keywords

intuitionistic logictemporal logicdynamical topological systems

Mathematics Subject Classification ID

Notions of recurrence and recurrent behavior in topological dynamical systems (37B20) Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44)

Abstract: A dynamical system is a pair $(X,f)$, where $X$ is a topological space and $fcolonXoX$ 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 $sfIT{L}^c$, and show that it is decidable. We also show that minimality and Poincar'e recurrence are both expressible in the language of $sfIT{L}^c$, thus providing a decidable logic expressive enough to reason about non-trivial asymptotic behavior in dynamical systems.

Recommendations

• Complete intuitionistic temporal logics for topological dynamics
• Towards systematic construction of temporal logics for dynamical systems via coalgebra
• A decidable intuitionistic temporal logic
• Intuitionistic linear temporal logics
• Axiomatic systems and topological semantics for intuitionistic temporal logic
• Exploring the Jungle of Intuitionistic Temporal Logics
• Logics of dynamical systems
• scientific article; zbMATH DE number 5230436
• A strongly complete axiomatization of intuitionistic temporal logic
• Bisimulations for intuitionistic temporal logics

Cites work

• scientific article; zbMATH DE number 412251 (Why is no real title available?)
• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 3028682 (Why is no real title available?)
• A decidable intuitionistic temporal logic
• A representation theorem for Boolean contact algebras
• A sound and complete axiomatization for dynamic topological logic
• Almost totally disconnected minimal systems
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• Der Aussagenkalkül und die Topologie
• Dynamic measure logic
• Dynamic topological S5
• Dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• Introduction to Boolean Algebras
• Intuitionistic tense and modal logic
• Many-dimensional modal logics: theory and applications
• Modal Logics of Topological Relations
• Non-deterministic semantics for dynamic topological logic
• Non-primitive recursive decidability of products of modal logics with expanding domains
• On dynamic topological and metric logics
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• On the positive fragment of the polymodal provability logic GLP
• Positive provability logic for uniform reflection principles
• Propositional temporal logics: decidability and completeness
• Temporal here and there
• Topological completeness of the provability logic GLP
• « Everywhere » and « here »

Cited in

(13)

• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• Constructive game logic
• Dynamic contact algebras and quantifier-free logics for space and time
• Exploring the Jungle of Intuitionistic Temporal Logics
• Asymptotic behaviour in temporal logic
• scientific article; zbMATH DE number 5230436 (Why is no real title available?)
• Proving properties of continuous systems: Qualitative simulation and temporal logic
• Temporal type theory. A topos-theoretic approach to systems and behavior
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• An intuitionistic axiomatization of `eventually'
• Gödel-Dummett linear temporal logic
• Complete intuitionistic temporal logics for topological dynamics
• Ill-founded proof systems for intuitionistic linear-time temporal logic

This page was built for publication: The intuitionistic temporal logic of dynamical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580328)