Ulrich Nitsche. A Finitary-Language Semantics for Propositional Linear Temporal Logic. In Developments in Language Theory. pages 482-489, 1995.
@inproceedings{Nitsche95, title = {A Finitary-Language Semantics for Propositional Linear Temporal Logic}, author = {Ulrich Nitsche}, year = {1995}, tags = {semantics, logic}, researchr = {https://researchr.org/publication/Nitsche95}, cites = {0}, citedby = {0}, pages = {482-489}, booktitle = {Developments in Language Theory}, }