Temporal logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Temporal logic" in English language version.

Last modified: 23:48:12, 5 October 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

129doi.org

2^nd place

75worldcat.org

4^th place

43semanticscholar.org

15^th place

8^th place

33stanford.edu

194^th place

182^nd place

31aau.dk

low place

22books.google.com

3^rd place

21umcs.lublin.pl

low place

21cambridge.org

209^th place

151^st place

21jstor.org

23^rd place

15^th place

11mcmaster.ca

6,115^th place

4,025^th place

11uni-konstanz.de

low place

11springer.com

182^nd place

172^nd place

aau.dk (Global: low place; English: low place)

vbn.aau.dk

Øhrstrøm, Peter (2019). "The Significance of the Contributions of A.N.Prior and Jerzy Łoś in the Early History of Modern Temporal Logic". Logic and Philosophy of Time: Further Themes from Prior, Volume 2. Logic and Philosophy of Time. ISBN 9788772102658.{{cite journal}}: CS1 maint: periodical has ISBN (link)

books.google.com (Global: 3^rd place; English: 3^rd place)

Walter Carnielli; Claudio Pizzi (2008). Modalities and Multimodalities. Springer. p. 181. ISBN 978-1-4020-8589-5.
Sergio Tessaris; Enrico Franconi; Thomas Eiter (2009). Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 – September 4, 2009, Tutorial Lectures. Springer. p. 112. ISBN 978-3-642-03753-5.

cambridge.org (Global: 209^th place; English: 151^st place)

Rescher, Nicholas; Garson, James (January 1969). "Topological Logic". The Journal of Symbolic Logic. 33 (4): 537–548. doi:10.2307/2271360. ISSN 0022-4812. JSTOR 2271360. S2CID 2110963.

doi.org (Global: 2^nd place; English: 2^nd place)

Rescher, Nicholas; Garson, James (January 1969). "Topological Logic". The Journal of Symbolic Logic. 33 (4): 537–548. doi:10.2307/2271360. ISSN 0022-4812. JSTOR 2271360. S2CID 2110963.
Tkaczyk, Marcin; Jarmużek, Tomasz (2019). "Jerzy Łoś Positional Calculus and the Origin of Temporal Logic". Logic and Logical Philosophy. 28 (2): 259–276. doi:10.12775/LLP.2018.013. ISSN 2300-9802.
Maler, O.; Nickovic, D. (2004). "Monitoring temporal properties of continuous signals". doi:10.1007/978-3-540-30206-3_12.
Mehrabian, Mohammadreza; Khayatian, Mohammad; Shrivastava, Aviral; Eidson, John C.; Derler, Patricia; Andrade, Hugo A.; Li-Baboud, Ya-Shian; Griffor, Edward; Weiss, Marc; Stanton, Kevin (2017). "Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems". ACM Transactions on Embedded Computing Systems. 16 (5s): 1–20. doi:10.1145/3126510. S2CID 3570088.
Koymans, R. (1990). "Specifying real-time properties with metric temporal logic", Real-Time Systems 2(4): 255–299. doi:10.1007/BF01995674.
Li, Xiao, Cristian-Ioan Vasile, and Calin Belta. "Reinforcement learning with temporal logic rewards." doi:10.1109/IROS.2017.8206234
Clarkson, Michael R.; Finkbeiner, Bernd; Koleini, Masoud; Micinski, Kristopher K.; Rabe, Markus N.; Sánchez, César (2014). "Temporal Logics for Hyperproperties". Principles of Security and Trust. Lecture Notes in Computer Science. Vol. 8414. pp. 265–284. doi:10.1007/978-3-642-54792-8_15. ISBN 978-3-642-54791-1. S2CID 8938993.
Rescher, Nicholas (1968). "Topological Logic". Topics in Philosophical Logic. pp. 229–249. doi:10.1007/978-94-017-3546-9_13. ISBN 978-90-481-8331-9.
von Wright, Georg Henrik (1979). "A Modal Logic of Place". The Philosophy of Nicholas Rescher. pp. 65–73. doi:10.1007/978-94-009-9407-2_9. ISBN 978-94-009-9409-6.

jstor.org (Global: 23^rd place; English: 15^th place)

Rescher, Nicholas; Garson, James (January 1969). "Topological Logic". The Journal of Symbolic Logic. 33 (4): 537–548. doi:10.2307/2271360. ISSN 0022-4812. JSTOR 2271360. S2CID 2110963.

mcmaster.ca (Global: 6,115^th place; English: 4,025^th place)

cas.mcmaster.ca

Lawford, M. (2004). "An Introduction to Temporal Logics" (PDF). Department of Computer Science McMaster University.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Rescher, Nicholas; Garson, James (January 1969). "Topological Logic". The Journal of Symbolic Logic. 33 (4): 537–548. doi:10.2307/2271360. ISSN 0022-4812. JSTOR 2271360. S2CID 2110963.
Mehrabian, Mohammadreza; Khayatian, Mohammad; Shrivastava, Aviral; Eidson, John C.; Derler, Patricia; Andrade, Hugo A.; Li-Baboud, Ya-Shian; Griffor, Edward; Weiss, Marc; Stanton, Kevin (2017). "Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems". ACM Transactions on Embedded Computing Systems. 16 (5s): 1–20. doi:10.1145/3126510. S2CID 3570088.
Clarkson, Michael R.; Finkbeiner, Bernd; Koleini, Masoud; Micinski, Kristopher K.; Rabe, Markus N.; Sánchez, César (2014). "Temporal Logics for Hyperproperties". Principles of Security and Trust. Lecture Notes in Computer Science. Vol. 8414. pp. 265–284. doi:10.1007/978-3-642-54792-8_15. ISBN 978-3-642-54791-1. S2CID 8938993.

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Clarkson, Michael R.; Finkbeiner, Bernd; Koleini, Masoud; Micinski, Kristopher K.; Rabe, Markus N.; Sánchez, César (2014). "Temporal Logics for Hyperproperties". Principles of Security and Trust. Lecture Notes in Computer Science. Vol. 8414. pp. 265–284. doi:10.1007/978-3-642-54792-8_15. ISBN 978-3-642-54791-1. S2CID 8938993.

stanford.edu (Global: 194^th place; English: 182^nd place)

plato.stanford.edu

"Temporal Logic (Stanford Encyclopedia of Philosophy)". Plato.stanford.edu. Retrieved 2014-07-30.
Goranko, Valentin; Galton, Antony (2015). "Temporal Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy (Winter 2015 ed.). Metaphysics Research Lab, Stanford University.
"Temporal Logic". Stanford Encyclopedia of Philosophy. February 7, 2020. Retrieved April 19, 2022.

umcs.lublin.pl (Global: low place; English: low place)

dlibra.umcs.lublin.pl

Łoś, Jerzy (1947). "Podstawy analizy metodologicznej kanonów Milla". Zasoby Biblioteki Głównej Umcs (in Polish). nakł. Uniwersytetu Marii Curie-Skłodowskiej.

uni-konstanz.de (Global: low place; English: low place)

kops.uni-konstanz.de

Müller, Thomas (2011). "Tense or temporal logic" (PDF). In Horsten, Leon (ed.). The continuum companion to philosophical logic. A&C Black. p. 329.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Rescher, Nicholas; Garson, James (January 1969). "Topological Logic". The Journal of Symbolic Logic. 33 (4): 537–548. doi:10.2307/2271360. ISSN 0022-4812. JSTOR 2271360. S2CID 2110963.
Tkaczyk, Marcin; Jarmużek, Tomasz (2019). "Jerzy Łoś Positional Calculus and the Origin of Temporal Logic". Logic and Logical Philosophy. 28 (2): 259–276. doi:10.12775/LLP.2018.013. ISSN 2300-9802.
Prior, Arthur Norman (2003). Time and modality: the John Locke lectures for 1955–6, delivered at the University of Oxford. Oxford: The Clarendon Press. ISBN 9780198241584. OCLC 905630146.
Burgess, John P. (2009). Philosophical logic. Princeton, New Jersey: Princeton University Press. p. 21. ISBN 9781400830497. OCLC 777375659.
Burgess, John P. (2009). Philosophical logic. Princeton, New Jersey: Princeton University Press. p. 17. ISBN 9781400830497. OCLC 777375659.

Temporal logic (English Wikipedia)

aau.dk (Global: low place; English: low place)

vbn.aau.dk

books.google.com (Global: 3rd place; English: 3rd place)

cambridge.org (Global: 209th place; English: 151st place)

doi.org (Global: 2nd place; English: 2nd place)

jstor.org (Global: 23rd place; English: 15th place)

mcmaster.ca (Global: 6,115th place; English: 4,025th place)

cas.mcmaster.ca

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

springer.com (Global: 182nd place; English: 172nd place)

link.springer.com

stanford.edu (Global: 194th place; English: 182nd place)

plato.stanford.edu

umcs.lublin.pl (Global: low place; English: low place)

dlibra.umcs.lublin.pl

uni-konstanz.de (Global: low place; English: low place)

kops.uni-konstanz.de

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

books.google.com (Global: 3^rd place; English: 3^rd place)

cambridge.org (Global: 209^th place; English: 151^st place)

doi.org (Global: 2^nd place; English: 2^nd place)

jstor.org (Global: 23^rd place; English: 15^th place)

mcmaster.ca (Global: 6,115^th place; English: 4,025^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

springer.com (Global: 182^nd place; English: 172^nd place)

stanford.edu (Global: 194^th place; English: 182^nd place)

worldcat.org (Global: 4^th place; English: 4^th place)