Burghard von Karger, Rudolf Berghammer. A Relational Model for Temporal Logic. Logic Journal of the IGPL, 6(2):157-173, 1998. [doi]
@article{KargerB98,
title = {A Relational Model for Temporal Logic},
author = {Burghard von Karger and Rudolf Berghammer},
year = {1998},
url = {http://www3.oup.co.uk/igpl/Volume_06/Issue_02/#Berghammer},
tags = {meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/KargerB98},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {6},
number = {2},
pages = {157-173},
}