7 citations · 19 across the 6 of their papers we have counts for
3 papers · 1 filter
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…
Exploring the Jungle of Intuitionistic Temporal Logics
Joseph Boudou, Martín Diéguez, David Fernández-Duque +1
The importance of intuitionistic temporal logics in Computer Science and Artificial Intelligence has become increasingly clear in the last few years. From the proof-theory point of…
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…