{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T04:05:20Z","timestamp":1749787520114,"version":"3.41.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"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":[[2002,9]]},"DOI":"10.1023\/a:1019999621456","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T13:06:10Z","timestamp":1047733570000},"page":"389-425","source":"Crossref","is-referenced-by-count":1,"title":["Linear, Branching Time and Joint Closure Semantics for Temporal Logic"],"prefix":"10.1007","volume":"11","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"334142_CR1","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Allen","year":"1986","unstructured":"Allen, E.A. and Halpern, J.Y., 1986, \u201c\u2018Sometimes\u2019 and \u2018not never\u2019 revisited: On branching versuslinear time temporal logic, \u201d Journal of the ACM 33, 151\u2013178.","journal-title":"Journal of the ACM"},{"key":"334142_CR2","first-page":"207","volume":"20","author":"M. Ben-Ari","year":"1983","unstructured":"Ben-Ari, M., Pnueli, A., and Manna, Z., 1983, \u201cThe temporal logic of branching time, \u201d ActaInformaticae 20, 207\u2013226.","journal-title":"ActaInformaticae"},{"key":"334142_CR3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BFb0028187","volume-title":"Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU-93","author":"J. Engelfriet","year":"1993","unstructured":"Engelfriet, J. and Treur, J., 1993, \u201cA temporal model theory for default logic, \u201d pp. 91\u201396 in Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU-93, M. Clarke, R. Kruse, and S. Moral, eds., Berlin: Springer-Verlag. A fully revised and extended version appeared as \u201cAn interpretation of default logicin minimal temporal epistemic logic, \u201d Journal of Logic, Language and Information7, 1998, 369\u2013388."},{"key":"334142_CR4","first-page":"60","volume-title":"Proceedings 12th European Conference on Artificial Intelligence, ECAI-96","author":"J. Engelfriet","year":"1996","unstructured":"Engelfriet, J. and Treur, J., 1996, \u201cSemantics for default logic based on specific branching time models, \u201d pp. 60\u201364 in Proceedings 12th European Conference on Artificial Intelligence, ECAI-96, W. Wahlster, ed., New York: John Wiley and Sons."},{"key":"334142_CR5","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M. and Gabbay, D., 1992, \u201cAdding a temporal dimension to a logic system, \u201d Journal of Logic, Language and Information 1, 203\u2013233.","journal-title":"Journal of Logic, Language and Information"},{"key":"334142_CR6","volume-title":"Logics of Time and Computation","author":"R. Goldblatt","year":"1992","unstructured":"Goldblatt, R., 1992, Logics of Time and Computation, 2nd edn., CSLI Lecture Notes, Vol. 7, Stanford, CA: CSLI.","edition":"2nd edn."},{"key":"334142_CR7","first-page":"180","volume-title":"Temporal Logic, Proceedings of the First International Conference on Temporal Logic, ICTL'94","author":"O. Grumberg","year":"1994","unstructured":"Grumberg, O. and Kurshan, R.P., 1994, \u201cHow linear can branching-time be?, \u201d pp. 180\u2013194 in Temporal Logic, Proceedings of the First International Conference on Temporal Logic, ICTL'94, D.M. Gabbay and H.J. Ohlbach, eds., Berlin: Springer-Verlag."},{"key":"334142_CR8","volume-title":"Lecture Notes in Mathematics","author":"J. Hirschfeld","year":"1975","unstructured":"Hirschfeld, J. and Wheeler, W.H., 1975, Forcing, Arithmetic, Division Rings, Lecture Notes in Mathematics, Vol. 454, Berlin: Springer-Verlag."},{"key":"334142_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges, W., 1993, Model Theory, Cambridge: Cambridge University Press."},{"key":"334142_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B.C. Pierce","year":"1991","unstructured":"Pierce, B.C., 1991, Basic Category Theory for Computer Scientists, Cambridge, MA: MIT Press."},{"key":"334142_CR11","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., 1980, \u201cA logic for default reasoning, \u201d Artificial Intelligence 13, 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"334142_CR12","first-page":"241","volume-title":"Theoretical Aspects of Reasoning about Knowledge, Proceedings of the Third Conference, TARK-90","author":"E. Spaan","year":"1990","unstructured":"Spaan, E., 1990, \u201cNexttime is not necessary\u201d (extended abstract), pp. 241\u2013256 in Theoretical Aspects of Reasoning about Knowledge, Proceedings of the Third Conference, TARK-90, R. Parikh, ed., San Mateo, CA: Morgan Kaufmann. SEMANTICS FOR TEMPORAL LOGIC 425"},{"key":"334142_CR13","unstructured":"Treur, J., 1976, \u201cA duality for skew field extensions, \u201d Ph.D. Thesis,Department of Mathematics and Computer Science, Utrecht University."},{"key":"334142_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse","author":"J.F.A.K. van Benthem","year":"1983","unstructured":"van Benthem, J.F.A.K., 1983, The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Dordrecht: Reidel."},{"key":"334142_CR15","unstructured":"van Glabbeek, R.J., 1994, \u201cWhat is branching time semantics and why to use it?, \u201d pp. 190\u2013198 in The Concurrency Column, M. Nielsen, ed., Bulletin of the EATCS 53."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1019999621456.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1019999621456\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1019999621456.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:26:22Z","timestamp":1749723982000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1019999621456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["334142"],"URL":"https:\/\/doi.org\/10.1023\/a:1019999621456","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}