TY  - RPRT
TI  - Bisimulations for intuitionistic temporal logics
AU  - Philippe Balbiani
AU  - Joseph Boudou
AU  - Marín Diéguez
AU  - David Fernández-Duque
PY  - 2018
UR  - https://arxiv.org/abs/1803.05078
ID  - 1803.05078
ER  -