Editing Temporal logic (section)

==References==
* Mordechai Ben-Ari, Zohar Manna, Amir Pnueli: ''[https://link.springer.com/article/10.1007/BF01257083 The Temporal Logic of Branching Time]''. POPL 1981: 164–176
* Amir Pnueli: ''[https://www.dimap.ufrn.br/~richard/pubs/dim0436/papers/pnueli_temporal_1977.pdf The Temporal Logic of Programs]'' FOCS 1977: 46–57
* Venema, Yde, 2001, "Temporal Logic," in Goble, Lou, ed., ''The Blackwell Guide to Philosophical Logic''. Blackwell.
* E. A. Emerson and Chin-Laung Lei, "[https://www.sciencedirect.com/science/article/pii/0167642387900360/pdf?md5=43227d5832bc2b176eb3de0da978418d&isDTMRedir=Y&pid=1-s2.0-0167642387900360-main.pdf&_valck=1 Modalities for model checking: branching time logic strikes back]", in ''Science of Computer Programming'' 8, pp.&nbsp;275–306, 1987.
* E. A. Emerson, "[https://profs.info.uaic.ro/~masalagiu/pub/handbook3.pdf Temporal and modal logic]", ''Handbook of Theoretical Computer Science'', Chapter 16, the MIT Press, 1990
* [https://www.springer.com/engineering/circuits+%26+systems/book/978-0-387-35313-5 ''A Practical Introduction to PSL''], Cindy Eisner, [[Dana Fisman]]
* {{cite book|editor1=Orna Grumberg|editor2=Helmut Veith|title=25 years of model checking: history, achievements, perspectives|year=2008|publisher=Springer|isbn=978-3-540-69849-4|chapter=From [[Alonzo Church|Church]] and Prior to [[Property Specification Language|PSL]]|first=Moshe Y. |last=Vardi|author-link=Moshe Vardi}} [http://www.cs.rice.edu/~vardi/papers/25mc.ps.gz preprint]. Historical perspective on how seemingly disparate ideas came together in computer science and engineering. (The mention of Church in the title of this paper is a reference to a little-known 1957 paper, in which Church proposed a way to perform hardware verification.)