Showing math.LOShow all
2 papers · 1 filter
math.LO2018
Bisimulations for intuitionistic temporal logics
Philippe Balbiani, Joseph Boudou, Marín Diéguez +1
We introduce bisimulations for the logic with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to inte…
math.LO2018
Axiomatic systems and topological semantics for intuitionistic temporal logic
Joseph Boudou, Martín Diéguez, David Fernández-Duque +1
We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or o…