{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:40:01Z","timestamp":1749724801798,"version":"3.41.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1023\/a:1008229020082","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"17-43","source":"Crossref","is-referenced-by-count":0,"title":["Some Considerations on Branching Areas of Time"],"prefix":"10.1007","volume":"8","author":[{"given":"El\u017bbieta","family":"Hajnicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"150358_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J.F.A.K. van Benthem","year":"1983","unstructured":"van Benthem, J.F.A.K., 1983, The Logic of Time, Dordrecht: D. Reidel."},{"key":"150358_CR2","series-title":"LNCS","first-page":"176","volume-title":"Proceedings on REX Workshop on Real Time: Theory in Practice, Mook, The Netherlands","author":"E.A Emerson","year":"1991","unstructured":"Emerson, E.A, 1991, \u201cReal time and mucalculus,\u201d pp. 176\u2013194 in Proceedings on REX Workshop on Real Time: Theory in Practice, Mook, The Netherlands, J.W. Bakker, C. Huizing, W.P. Roever, and G. Rozenberg, eds., LNCS 600, Berlin\/Heidelberg\/New York: SpringerVerlag."},{"key":"150358_CR3","doi-asserted-by":"crossref","unstructured":"Fikes, R. and Nilsson N.J., 1971, \u201cSTRIPS: A new approach to application of theorem proving to problem solving,' Artificial Intelligence\n2, 189-208.","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"150358_CR4","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Pnueli, A., Shelah, S., and Stavi, J., 1980, \u201cOn the temporal analysis of fairness,\u201d pp. 163\u2013173 in Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, NV.","DOI":"10.1145\/567446.567462"},{"key":"150358_CR5","first-page":"449","volume-title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy","author":"B.A. Haugh","year":"1987","unstructured":"Haugh, B.A., 1987, \u201cNon-standard semantics for the method of temporal arguments,\u201d pp. 449\u2013455 in Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, J. McDermott, ed., Los Altos, CA: Morgan Kaufmann Publishers."},{"key":"150358_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(77)90015-7","volume":"9","author":"K. Kahn","year":"1977","unstructured":"Kahn, K. and Gorry, G.A., 1977, \u201cMechanizing temporal knowledge,' Artificial Intelligence\n9, 87\u2013108.","journal-title":"Artificial Intelligence"},{"key":"150358_CR7","doi-asserted-by":"crossref","unstructured":"Lamport, L., 1980, \u201c'sometime' is sometimes 'not never',\u201d pp. 174\u2013184 in Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, NV.","DOI":"10.1145\/567446.567463"},{"key":"150358_CR8","first-page":"215","volume-title":"The Correctness Problems in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Manna, Z. and Pnueli, A., 1981, \u201cVerification of concurrent programs: The temporal framework,\u201d pp. 215\u2013273 in The Correctness Problems in Computer Science, R.S. Boyer and J.S. Moore, eds., New York: Academic Press."},{"key":"150358_CR9","series-title":"LNCS","first-page":"200","volume-title":"Proceedings of the Workshop on Logics of Programs, Yorktown Heights, NY","author":"Z. Manna","year":"1982","unstructured":"Manna, Z. and Pnueli, A., 1982, \u201cVerification of concurrent programs: Temporal proof principles,\u201d pp. 200\u2013252 in Proceedings of the Workshop on Logics of Programs, Yorktown Heights, NY, D. Kozen, ed., LNCS 131, Berlin\/Heidelberg\/New York: SpringerVerlag."},{"key":"150358_CR10","first-page":"101","volume":"6","author":"D. McDermott","year":"1982","unstructured":"McDermott, D., 1982, \u201cA temporal logic for reasoning about processes and plans,\u201d Cognitive Science\n6, 101\u2013155.","journal-title":"Cognitive Science"},{"key":"150358_CR11","series-title":"LNCS","first-page":"371","volume-title":"Proceedings the Workshop on Logics of Programs, Pittsburgh, PA","author":"B. Moszkowski","year":"1984","unstructured":"Moszkowski, B. and Manna, Z., 1984, \u201cReasoning in interval temporal logic,\u201d pp. 371\u2013382 in Proceedings the Workshop on Logics of Programs, Pittsburgh, PA, E. Clarke and D. Kozen, eds., LNCS 164, Berlin\/Heidelberg\/New York: SpringerVerlag."},{"key":"150358_CR12","first-page":"179","volume-title":"Logic and Time","author":"W. Penczek","year":"1995","unstructured":"Penczek, W., 1995, \u201cBranching time and partial order in temporal logics,\u201d pp. 179\u2013228 in Logic and Time, L. Bolc and A. Sza\u0142as, eds., London: UCL Press."},{"key":"150358_CR13","doi-asserted-by":"crossref","unstructured":"Pinter, S.S. and Wolper, P., 1984, \u201cA temporal logic for reasoning about partialy ordered computations,' pp. 28\u201337 in Proceedings of the Third Symposium on Principles of Distributed Computing.","DOI":"10.1145\/800222.806733"},{"key":"150358_CR14","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1002\/int.4550060302","volume":"6","author":"R. Rodriguez","year":"1991","unstructured":"Rodriguez, R., Anger, F., and Ford, K., 1991, \u201cTemporal reasoning: A relativistic model,\u201d International Journal of Intelligent Systems\n6, 237\u2013254.","journal-title":"International Journal of Intelligent Systems"},{"key":"150358_CR15","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00871721","volume":"3","author":"R.V. Rodriguez","year":"1993","unstructured":"Rodriguez, R.V., 1993, \u201cA relativistic temporal algebra for efficient design of distributed systems,\u201d Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks and Complex Problem-Solving Technologies\n3, 31\u201345.","journal-title":"Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks and Complex Problem-Solving Technologies"},{"key":"150358_CR16","volume-title":"A Structure for Time and Behaviour","author":"E.D. Sacerdoti","year":"1977","unstructured":"Sacerdoti, E.D., 1977, A Structure for Time and Behaviour, Amsterdam: Elsevier\/NorthHolland."},{"key":"150358_CR17","volume-title":"Reasoning about change: Time and causation from the standpoint of artificial intelligence","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y., 1987, \u201cReasoning about change: Time and causation from the standpoint of artificial intelligence,\u201d Ph.D. Thesis, Yale University, New Haven, CT."},{"key":"150358_CR18","first-page":"954","volume-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI","author":"Y. Shoham","year":"1989","unstructured":"Shoham, Y., 1989, \u201cTime for action: On the relation between time, knowledge and action,\u201d pp. 954\u2013959 in Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, N.S. Sridharan, ed., San Mateo, CA: Morgan Kaufmann."},{"key":"150358_CR19","first-page":"745","volume-title":"Proceedings of the Seventh AAAI Conference, Saint Paul, MN","author":"F. Song","year":"1988","unstructured":"Song, F. and Cohen R., 1988, \u201cThe interpretation of temporal relations in narratives,\u201d pp. 745\u2013750 in Proceedings of the Seventh AAAI Conference, Saint Paul, MN, R.G. Smith and T.M. Mitchell, eds., San Mateo, CA: Morgan Kaufmann."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008229020082.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008229020082\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008229020082.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:27:30Z","timestamp":1749724050000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008229020082"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["150358"],"URL":"https:\/\/doi.org\/10.1023\/a:1008229020082","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}