# Complete Intuitionistic Temporal Logics in Topological Dynamics

arXiv: https://arxiv.org/abs/1910.00907 · HTML: https://mlsanity.com/paper/1910.00907/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 2 Oct 2019.

## Built on by (most cited first, 1 of 1)

- [Common Knowledge Always, Forever](https://mlsanity.com/paper/2602.13914/) (2026)

## Abstract (arXiv)

The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic sf ITLsf cDiamond,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.