4 papers
Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, Martín Diéguez +1
We consider intuitionistic variants of linear temporal logic with `next', `until' and `release' based on expanding posets: partial orders equipped with an order-preserving transiti…
Complete Intuitionistic Temporal Logics in Topological Dynamics
Joseph Boudou, Martín Diéguez, David Fernández-Duque
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}}_{\Diam…
Bisimulations for intuitionistic temporal logics
Philippe Balbiani, Joseph Boudou, Marín Diéguez +1
We introduce bisimulations for the logic with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to inte…
Axiomatic systems and topological semantics for intuitionistic temporal logic
Joseph Boudou, Martín Diéguez, David Fernández-Duque +1
We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or o…