Complete Intuitionistic Temporal Logics in Topological Dynamics
Logic in Computer Science
2019-10-03 v1
Abstract
The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic , 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.
Keywords
Cite
@article{arxiv.1910.00907,
title = {Complete Intuitionistic Temporal Logics in Topological Dynamics},
author = {Joseph Boudou and Martín Diéguez and David Fernández-Duque},
journal= {arXiv preprint arXiv:1910.00907},
year = {2019}
}