collaborators

1 paper

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…