Complete Intuitionistic Temporal Logics for Topological Dynamics
arXiv (Cornell University)(2019)
Abstract
The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${{\sf ITL}^{\sf c}}_{\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.
MoreTranslated text
Key words
topologial semantics,temporal logic,intuitionistic logic
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined