{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T07:11:33Z","timestamp":1769843493280,"version":"3.49.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"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":[[1997,10]]},"DOI":"10.1023\/a:1008219821036","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"361-380","source":"Crossref","is-referenced-by-count":17,"title":["An Update on \u201cMight\u201d"],"prefix":"10.1007","volume":"6","author":[{"given":"Jaap","family":"van der Does","sequence":"first","affiliation":[]},{"given":"Willem","family":"Groeneveld","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Veltman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"133338_CR1","first-page":"159","volume":"17","author":"J. van Benthem","year":"1991","unstructured":"Benthem, J. van, 1991a, \"General dynamics,\" Theoretical Linguistics\n17, 159\u2013201.","journal-title":"Theoretical Linguistics"},{"key":"133338_CR2","volume-title":"Language in Action","author":"J. van Benthem","year":"1991","unstructured":"Benthem, J. van, 1991b, Language in Action, Amsterdam: North-Holland."},{"key":"133338_CR3","first-page":"693","volume-title":"Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala 1991","author":"J. van Benthem","year":"1993","unstructured":"Benthem, J. van, 1993, \"Logic and the flow of information,\" pp. 693\u2013724 in Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala 1991, D. Prawitz, B. Skyrms, and D. Westerst\u00e5hl, eds., Amsterdam: North-Holland."},{"issue":"2\/3","key":"133338_CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1093\/jigpal\/3.2-3.191","volume":"3","author":"J.M. van der Does","year":"1995","unstructured":"Does, J.M. van der, 1995, \"Cut mightcautiously,\" Bulletin of the IGPL\n3(2\/3), 191\u2013202.","journal-title":"Bulletin of the IGPL"},{"key":"133338_CR5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01052729","volume":"24","author":"J. van Eijck","year":"1995","unstructured":"Eijck, J. van and Vries, F.J. de, 1995, \"Reasoning about update logic,\" Journal of Philosophical Logic\n24, 19\u201345.","journal-title":"Journal of Philosophical Logic"},{"key":"133338_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J. and Stokhof, M., 1991. \"Dynamic predicate logic,\" Linguistics and Philosophy\n14, 39\u2013100.","journal-title":"Linguistics and Philosophy"},{"key":"133338_CR7","unstructured":"Groeneveld, W., 1995, \"Logical investigations into dynamic semantics,\" Dissertation, ILLC, Department of Philosophy, University of Amsterdam."},{"key":"133338_CR8","unstructured":"Groeneveld, W. and Veltman, F., 1994, \"Inference systems for update semantics,\" in Integrating Semantic Theories II, R. Cooper and J. Groenendijk, eds., DYANA report R2.1B, Amsterdam."},{"key":"133338_CR9","unstructured":"Kanazawa, M., 1994a, \"Completeness and decidability of the mixed style of inference with composition,\" pp. 377\u2013390 in Proceedings of the Ninth Amsterdam Colloquium, P. Dekker and M. Stokhof, eds., ILLC, University of Amsterdam."},{"key":"133338_CR10","unstructured":"Kanazawa, M., 1994b, \"Comments on 'Inference systems for update semantics' ; by Willem Groeneveld and Frank Veltman,\" in Integrating Semantic Theories II, R. Cooper and J. Groenendijk, eds., DYANA report R2.1B, Amsterdam."},{"key":"133338_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF00248150","volume":"25","author":"F. Veltman","year":"1996","unstructured":"Veltman, F., 1996, \"Defaults in update semantics,\" Journal of Philosophical Logic\n25, 221\u2013261.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008219821036.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008219821036\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008219821036.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:17:34Z","timestamp":1749723454000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008219821036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["133338"],"URL":"https:\/\/doi.org\/10.1023\/a:1008219821036","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}