Temporal logic (English Wikipedia)

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

refsWebsite

Global rank English rank

9doi.org

2^nd place

5worldcat.org

5^th place

3semanticscholar.org

11^th place

8^th place

3stanford.edu

179^th place

183^rd place

2books.google.com

3^rd place

1umcs.lublin.pl

low place

1aau.dk

low place

1cambridge.org

305^th place

264^th place

1jstor.org

26^th place

20^th place

1umk.pl

7,071^st place

low place

1mcmaster.ca

6,572^nd place

4,351^st place

1uni-konstanz.de

low place

8,610^th place

1springer.com

274^th place

309^th place

aau.dk

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.

books.google.com

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

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

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

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

cas.mcmaster.ca

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

semanticscholar.org

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

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

plato.stanford.edu

"Temporal Logic (Stanford Encyclopedia of Philosophy)". Plato.stanford.edu. Retrieved 2014-07-30.
Goranko, Valentin; Galton, Antony (2015). 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

dlibra.umcs.lublin.pl

Łoś, Jerzy (1920-1998); Łoś, Jerzy (1920-1998) (1947). "Podstawy analizy metodologicznej kanonów Milla". Zasoby Biblioteki Głównej Umcs. nakł. Uniwersytetu Marii Curie-Skłodowskiej.{{cite journal}}: CS1 maint: numeric names: authors list (link)

umk.pl

apcz.umk.pl

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.

uni-konstanz.de

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

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.