9 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
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…