2000 character limit reached
Complete Intuitionistic Temporal Logics in Topological Dynamics (1910.00907v1)
Published 2 Oct 2019 in cs.LO
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.