Bernhard Heinemann. Generalizing the Modal and Temporal Logic of Linear Time. In Teodor Rus, editor, Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Volume 1816 of Lecture Notes in Computer Science, pages 41-56, Springer, 2000. [doi]
@inproceedings{Heinemann00,
title = {Generalizing the Modal and Temporal Logic of Linear Time},
author = {Bernhard Heinemann},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1816/18160041.htm},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/Heinemann00},
cites = {0},
citedby = {0},
pages = {41-56},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
editor = {Teodor Rus},
volume = {1816},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67530-2},
}