Complete Intuitionistic Temporal Logics in Topological Dynamics

10/02/2019
by   Joseph Boudou, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset