{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:47:41Z","timestamp":1742914061953,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319307336"},{"type":"electronic","value":"9783319307343"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30734-3_18","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:19:52Z","timestamp":1457770792000},"page":"261-276","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Toward a Formal Foundation for Time Travel in Stories and Games"],"prefix":"10.1007","author":[{"given":"Michiel","family":"Helvensteijn","sequence":"first","affiliation":[]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,13]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction, vol. 316. Cambridge University Press, Cambridge (1980)"},{"issue":"6","key":"18_CR2","doi-asserted-by":"publisher","first-page":"1915","DOI":"10.1103\/PhysRevD.42.1915","volume":"42","author":"J Friedman","year":"1990","unstructured":"Friedman, J., Morris, M.S., Novikov, I.D., Echeverria, F., Klinkhammer, G., Thorne, K.S., Yurtsever, U.: Cauchy problem in spacetimes with closed timelike curves. Phys. Rev. D 42(6), 1915\u20131930 (1990)","journal-title":"Phys. Rev. D"},{"key":"18_CR3","unstructured":"Fujibayashi, H.: The Legend of Zelda: Oracle of Ages (2001). http:\/\/www.zelda.com\/oracle"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 163\u2013173. ACM (1980)","DOI":"10.1145\/567446.567462"},{"key":"18_CR5","unstructured":"Heinlein, R.A.: By His Bootstraps, October 1941"},{"issue":"156","key":"18_CR6","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1006\/inco.1999.2817","volume":"1","author":"F Laroussinie","year":"2000","unstructured":"Laroussinie, F., Schnoebelen, P.: Specification in CTL+ past for verification in CTL. Inf. Comput. 1(156), 236\u2013263 (2000)","journal-title":"Inf. Comput."},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","first-page":"196","volume-title":"Logics of Programs","author":"O Lichtenstein","year":"1982","unstructured":"Lichtenstein, O., Pnueli, A., Zuck, L.: The glory of the past. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 196\u2013218. Springer, Heidelberg (1982)"},{"key":"18_CR8","first-page":"122","volume":"79","author":"N Markey","year":"2003","unstructured":"Markey, N.: Temporal logic with past is exponentially more succinct. EATCS Bull. 79, 122\u2013128 (2003)","journal-title":"EATCS Bull."},{"key":"18_CR9","doi-asserted-by":"crossref","DOI":"10.1353\/book.1857","volume-title":"Time Travel: A Writer\u2019s Guide to the Real Science of Plausible Time Travel","author":"P Nahin","year":"2011","unstructured":"Nahin, P.: Time Travel: A Writer\u2019s Guide to the Real Science of Plausible Time Travel. Johns Hopkins University Press, Baltimore (2011)"},{"key":"18_CR10","volume-title":"Time Machines: Time Travel in Physics, Metaphysics, and Science Fiction","author":"P Nahin","year":"2014","unstructured":"Nahin, P.: Time Machines: Time Travel in Physics, Metaphysics, and Science Fiction, 2nd edn. Springer, New York (2014). Softcover reprint of the original, 2nd edn. 1999th edn","edition":"2"},{"issue":"49","key":"18_CR11","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1007\/BF01491914","volume":"23","author":"E Schr\u00f6dinger","year":"1935","unstructured":"Schr\u00f6dinger, E.: Die gegenw\u00e4rtige situation in der quantenmechanik. Naturwissenschaften 23(49), 823\u2013828 (1935)","journal-title":"Naturwissenschaften"},{"key":"18_CR12","unstructured":"Stephenson, M.: NetHack (1987). http:\/\/www.nethack.org"},{"key":"18_CR13","unstructured":"Zemeckis, R.: Back to the Future, iMDB ID: tt0088763, July 1985"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30734-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:23:47Z","timestamp":1720787027000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-30734-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319307336","9783319307343"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30734-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"13 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}