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]
Abstract is missing.