4 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Philippe Balbiani, Joseph Boudou, Marín Diéguez +1
We introduce bisimulations for the logic ITLe with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to inte…