4 citations · 6 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
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…
cs.LO2019★ 4 cited
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…