Kensuke Kojima, Atsushi Igarashi. Constructive linear-time temporal logic: Proof systems and Kripke semantics. Inf. Comput., 209(12):1491-1503, 2011. [doi]
@article{KojimaI11-1,
title = {Constructive linear-time temporal logic: Proof systems and Kripke semantics},
author = {Kensuke Kojima and Atsushi Igarashi},
year = {2011},
doi = {10.1016/j.ic.2010.09.008},
url = {http://dx.doi.org/10.1016/j.ic.2010.09.008},
researchr = {https://researchr.org/publication/KojimaI11-1},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {209},
number = {12},
pages = {1491-1503},
}