Complete intuitionistic temporal logics for topological dynamics

DOI10.1017/JSL.2022.8MaRDI QIDQ5100046zbMATH OpenOpenAlexFDO

Authors Joseph Boudou, Martín Diéguez, David Fernández-Duque

Publication date 29 August 2022

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

intuitionistic logictemporal logictopologial semantics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44)

Abstract: The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${{sfITL}^{sfc}}_{Diamond,forall}$, recently shown to be decidable by Fern'andez-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

Recommendations

• The intuitionistic temporal logic of dynamical systems
• A strongly complete axiomatization of intuitionistic temporal logic
• Dynamic topological logic interpreted over minimal systems
• A decidable intuitionistic temporal logic
• An intuitionistic axiomatization of `eventually'

Cites work

• A decidable intuitionistic temporal logic
• A short introduction to intuitionistic logic
• A sound and complete axiomatization for dynamic topological logic
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• Dynamic Topological Completeness for
• Dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• Dynamic topological logic of metric spaces
• 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?)
• Intuitionistic linear temporal logics
• Jankov's theorems for intermediate logics in the setting of universal models
• Modal characterisation theorems over special classes of frames
• Non-deterministic semantics for dynamic topological logic
• Non-primitive recursive decidability of products of modal logics with expanding domains
• On completeness of dynamic topological logic
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• On the modal definability of simulability by finite transitive models
• Propositional temporal logics: decidability and completeness
• Semantical analysis of constructive PDL
• Spatial logic of tangled closure operators and modal mu-calculus
• Temporal here and there
• The finite model property for logics with the tangle modality
• The intuitionistic temporal logic of dynamical systems

Cited in

(13)

• Dynamic contact algebras and quantifier-free logics for space and time
• Temporal type theory. A topos-theoretic approach to systems and behavior
• Axiomatic systems and topological semantics for intuitionistic temporal logic
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• The intuitionistic temporal logic of dynamical systems
• A decidable intuitionistic temporal logic
• A strongly complete axiomatization of intuitionistic temporal logic
• Intuitionistic linear temporal logics
• An intuitionistic axiomatization of `eventually'
• Exploring the Jungle of Intuitionistic Temporal Logics
• Ill-founded proof systems for intuitionistic linear-time temporal logic
• Intuitionistic -calculus with the Lewis arrow
• Tangled modal logic for topological dynamics

This page was built for publication: Complete intuitionistic temporal logics for topological dynamics

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