Stéphane Demri, Rajeev Goré. Display Calculi for Nominal Tense Logics. Journal of Logic and Computation, 12(6):993-1016, 2002. [doi]
@article{DemriG02a,
title = {Display Calculi for Nominal Tense Logics},
author = {Stéphane Demri and Rajeev Goré},
year = {2002},
url = {http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_06/120993.sgm.abs.html},
tags = {logic},
researchr = {https://researchr.org/publication/DemriG02a},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {12},
number = {6},
pages = {993-1016},
}