Complete Intuitionistic Temporal Logics in Topological Dynamics

10/02/2019

∙

by   Joseph Boudou, et al.

∙

0

∙

share

The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ITL^ c_,∀, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.