The following publications are possibly variants of this publication:
- Axiomatic Systems and Topological Semantics for Intuitionistic Temporal LogicJoseph Boudou, Martín Diéguez, David Fernández Duque, Fabián Romero. jelia 2019: 763-777 [doi]
- Intuitionistic Linear Temporal LogicsPhilippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández Duque. tocl, 21(2), 2020. [doi]
- Bisimulations for Intuitionistic Temporal LogicsPhilippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández Duque. flap, 8(8):2265-2286, 2021. [doi]
- A Decidable Intuitionistic Temporal LogicJoseph Boudou, Martín Diéguez, David Fernández Duque. csl 2017: [doi]