TY  - RPRT
TI  - Axiomatic systems and topological semantics for intuitionistic temporal logic
AU  - Joseph Boudou
AU  - Martín Diéguez
AU  - David Fernández-Duque
AU  - Fabián Romero
PY  - 2018
UR  - https://arxiv.org/abs/1803.05077
ID  - 1803.05077
ER  -