The intuitionistic temporal logic of dynamical systems

DOI10.23638/LMCS-14(3:3)2018zbMATH Open1453.03014arXiv1611.06929MaRDI QIDQ4580328FDOQ4580328

David Fernández-Duque

Publication date: 15 August 2018

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.

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

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

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)

Cites Work

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

Cited In (12)

• Exploring the Jungle of Intuitionistic Temporal Logics
• Dynamic contact algebras and quantifier-free logics for space and time
• Asymptotic behaviour in temporal logic
• Title not available (Why is that?)
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
• Proving properties of continuous systems: Qualitative simulation and temporal logic
• Temporal type theory. A topos-theoretic approach to systems and behavior
• Constructive Game Logic
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• Gödel-Dummett linear temporal logic
• Ill-founded proof systems for intuitionistic linear-time temporal logic
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter

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)