{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:13:48Z","timestamp":1752228828898},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1007\/bf01052729","type":"journal-article","created":{"date-parts":[[2005,1,31]],"date-time":"2005-01-31T12:34:58Z","timestamp":1107174898000},"page":"19-45","source":"Crossref","is-referenced-by-count":7,"title":["Reasoning about update logic"],"prefix":"10.1007","volume":"24","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fer-Jan","family":"de Vries","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"1","volume-title":"Generalized Quantifiers: linguistic and logical approaches","author":"J. Barwise","year":"1987","unstructured":"J. Barwise. Noun phrases, generalized quantifiers and anaphora. In P. G\u00e4rdenfors, editor,Generalized Quantifiers: linguistic and logical approaches, pages 1?30. D. Reidel Publishing Company, Dordrecht, 1987."},{"key":"CR2","first-page":"331","volume-title":"Logic Colloquium, Granada, 1987","author":"J. Benthem van","year":"1989","unstructured":"J. van Benthem. Semantic parallels in natural language and computation. In H.-D. Ebbinghaus et al., editors,Logic Colloquium, Granada, 1987, pages 331?375, Amsterdam, 1989. Elsevier."},{"key":"CR3","first-page":"159","volume":"17","author":"J. Benthem van","year":"1991","unstructured":"J. van Benthem. General dynamics.Theoretical Linguistics,17:159?201, 1991.","journal-title":"Theoretical Linguistics"},{"key":"CR4","volume-title":"Studies in Logic 130","author":"J. Benthem van","year":"1991","unstructured":"J. van Benthem.Language in Action: categories, lambdas and dynamic logic. Studies in Logic 130. Elsevier, Amsterdam, 1991."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"J. van Benthem. Logic and the flow of information. Technical Report LP-91-10, ILLC, University of Amsterdam, 1991.","DOI":"10.1007\/978-94-015-7947-6"},{"key":"CR6","series-title":"Technical Report OTS-WP-CL-93-005","volume-title":"Dynamic modal predicate logic","author":"J. Eijck van","year":"1993","unstructured":"J. van Eijck and G. Cepparello. Dynamic modal predicate logic. Technical Report OTS-WP-CL-93-005, OTS, Utrecht, October 1993. Also in M. Kanazawa and C.J. Pi\u00f1on (eds.),Dynamics, Polarity, and Quantification, CSLI, Stanford 1994."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00203385","volume":"1","author":"J. Eijck van","year":"1992","unstructured":"J. van Eijck and F.J. de Vries. Dynamic interpretation and Hoare deduction.Journal of Logic, Language, and Information, 1:1?44, 1992.","journal-title":"Journal of Logic, Language, and Information"},{"key":"CR8","unstructured":"P. G\u00e4rdenfors.Knowledge in Flux: Modelling the Dynamics of Epistemic States. MIT Press, 1988."},{"key":"CR9","volume-title":"Logics of Time and Computation, Second Edition, Revised and Expanded, volume 7 ofCSLI Lecture Notes","author":"R. Goldblatt","year":"1992","unstructured":"R. Goldblatt.Logics of Time and Computation, Second Edition, Revised and Expanded, volume 7 ofCSLI Lecture Notes. CSLI, Stanford, 1992 (first edition 1987). Distributed by University of Chicago Press."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"J. Groenendijk and M. Stokhof. Dynamic predicate logic.Linguistics and Philosophy, 14:39?100, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BFb0018433","volume-title":"Logics in AI-European Workshop JELIA ?90","author":"J. Groenendijk","year":"1991","unstructured":"J. Groenendijk and M. Stokhof. Two theories of dynamic semantics. In J. van Eijck, editor,Logics in AI-European Workshop JELIA ?90, pages 55?64, Berlin, 1991. Springer Lecture Notes in Artificial Intelligence."},{"key":"CR12","volume-title":"PhD thesis","author":"I. Heim","year":"1982","unstructured":"I. Heim.The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, University of Massachusetts, Amherst, 1982."},{"issue":"10","key":"CR13","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1145\/363235.363255","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"C.A.R. Hoare. An axiomatic basis for computer programming.Communications of the ACM, 12(10):567?580, 583, 1969.","journal-title":"Communications of the ACM"},{"key":"CR14","unstructured":"H. Kamp. A theory of truth and semantic representation. In J. Groenendijket al., editors,Formal Methods in the Study of Language. Mathematisch Centrum, 1981."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"L. Karttunen. Discourse referents. In J. McCawley, editor,Syntax and Semantics 7, pages 363?385. Academic Press, 1976.","DOI":"10.1163\/9789004368859_021"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"139","DOI":"10.2307\/2275330","volume":"58","author":"M. Kracht","year":"1993","unstructured":"M. Kracht. Splittings and the finite model property.Journal of Symbolic Logic, 58, 1993, pp 139?157.","journal-title":"Journal of Symbolic Logic"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF00258436","volume":"8","author":"D. Lewis","year":"1979","unstructured":"D. Lewis. Score keeping in a language game.Journal of Philosophical Logic, 8:339?359, 1979.","journal-title":"Journal of Philosophical Logic"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"V.Pratt. Semantical considerations on Floyd-Hoare logic.Proceedings 17th IEEE Symposium on Foundations of Computer Science, pages 109?121, 1976.","DOI":"10.1109\/SFCS.1976.27"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"M. de Rijke. Meeting some neighbours. Technical Report LP-92-10, ILLC, University of Amsterdam, 1992. Also in Van Eijck and Visser (eds.),Logic and Information Flow, MIT Press, 1994.","DOI":"10.7551\/mitpress\/4286.003.0013"},{"key":"CR20","unstructured":"M. de Rijke. A system of dynamic modal logic. Technical Report LP-92-08, ILLC, University of Amsterdam, 1992."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"R. Stalnaker. Pragmatics. In D. Davidson and G. Harman, editors,Semantics of Natural Language, pages 380?397. Reidel, 1972.","DOI":"10.1007\/978-94-010-2557-7_11"},{"key":"CR22","unstructured":"F. Veltman. Defaults in update semantics. Technical report, Department of Philosophy, University of Amsterdam, 1991. To appear in the Journal of Philosophical Logic."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01052729.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01052729\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01052729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,21]],"date-time":"2024-01-21T14:56:47Z","timestamp":1705849007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01052729"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF01052729"],"URL":"https:\/\/doi.org\/10.1007\/bf01052729","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}