{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T11:15:41Z","timestamp":1784373341757,"version":"3.55.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"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":[[2001,6]]},"DOI":"10.1023\/a:1011251627260","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T09:18:21Z","timestamp":1040635101000},"page":"319-351","source":"Crossref","is-referenced-by-count":25,"title":["Incremental Dynamics"],"prefix":"10.1007","volume":"10","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"262460_CR1","unstructured":"Aczel, P., 1996, \u201cVariable binding,\u201d Notes of a talk for Accolade, Plasmolen."},{"key":"262460_CR2","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H., 1984, The Lambda Calculus: Its Syntax and Semantics, 2nd edn., Amsterdam: North-Holland.","edition":"2nd edn."},{"key":"262460_CR3","first-page":"1","volume-title":"Generalized Quantifiers: Linguistic and Logical Approaches","author":"J. Barwise","year":"1987","unstructured":"Barwise, J., 1987, \u201cNoun phrases, generalized quantifiers and anaphora,\u201d pp. 1\u201330 in Generalized Quantifiers: Linguistic and Logical Approaches, P. G\u00e4rdenfors, ed., Dordrecht: Reidel."},{"key":"262460_CR4","first-page":"61","volume-title":"Proceedings of the Twelfth Amsterdam Colloquium, December 18\u201321","author":"D. Beaver","year":"1999","unstructured":"Beaver, D., 1999, \u201cThe logic of anaphora resolution,\u201d pp. 61\u201366 in Proceedings of the Twelfth Amsterdam Colloquium, December 18\u201321, P. Dekker, ed., Amsterdam: ILLC."},{"key":"262460_CR5","series-title":"Technical Report","volume-title":"A path-based variable-free system for predicate logic","author":"D. Ben-Shalom","year":"1994","unstructured":"Ben-Shalom, D., 1994, \u201cA path-based variable-free system for predicate logic,\u201d Technical Report CS-89444, Amsterdam: CWI."},{"key":"262460_CR6","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/BF01052600","volume":"24","author":"P. Blackburn","year":"1995","unstructured":"Blackburn, P. and Venema, Y., 1995, \u201cDynamic squares,\u201d Journal of Philosophical Logic\n24, 469\u2013523.","journal-title":"Journal of Philosophical Logic"},{"key":"262460_CR7","unstructured":"Clark, R. and Kurtonina, N., \u201cConsequences from Quine,\u201d pp. 91\u201395 in Proceedings of the Twelfth Amsterdam Colloquium, P. Dekker, ed., Amsterdam: University of Amsterdam."},{"key":"262460_CR8","first-page":"579","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"N.G. De Bruijn","year":"1980","unstructured":"De Bruijn, N.G., 1980, \u201cA survey of the project AUTOMATH,\u201d pp. 579\u2013606 in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J.R. Hindley and J.P. Seldin, eds., London: Academic Press."},{"key":"262460_CR9","doi-asserted-by":"crossref","unstructured":"Dekker, P., 1994, \u201cPredicate logic with anaphora,\u201d p. 17vv in Proceedings of the Fourth Semantics and Linguistic Theory Conference, L. Santelmann and M. Harvey, eds., Cornell University, DMML Publications.","DOI":"10.3765\/salt.v4i0.2459"},{"key":"262460_CR10","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, \u201cDynamic predicate logic,\u201d Linguistics and Philosophy\n14, 39\u2013100.","journal-title":"Linguistics and Philosophy"},{"key":"262460_CR11","volume-title":"Semantics of Programming Languages","author":"C.A Gunter","year":"1992","unstructured":"Gunter, C.A, 1992, Semantics of Programming Languages, Cambridge, MA: MIT Press."},{"key":"262460_CR12","volume-title":"The semantics of definite and indefinite noun phrases","author":"I. Heim","year":"1982","unstructured":"Heim, I., 1982, \u201cThe semantics of definite and indefinite noun phrases,\u201d Ph.D. Thesis, University of Massachusetts, Amherst."},{"key":"262460_CR13","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1023\/A:1008271805106","volume":"6","author":"M. Hollenberg","year":"1997","unstructured":"Hollenberg, M., 1997, \u201cAn equational axiomatisation of dynamic negation and relational composition,\u201d Journal of Logic, Language and Information\n6, 381\u2013401.","journal-title":"Journal of Logic, Language and Information"},{"key":"262460_CR14","first-page":"277","volume-title":"Formal Methods in the Study of Language","author":"H. Kamp","year":"1981","unstructured":"Kamp, H., 1981, \u201cA theory of truth and semantic representation,\u201d pp. 277\u2013322 in Formal Methods in the Study of Language, J. Groenendijk, T. Janssen, and M. Stokhof, eds., Amsterdam: Mathematisch Centrum."},{"key":"262460_CR15","volume-title":"From Discourse to Logic","author":"H. Kamp","year":"1993","unstructured":"Kamp, H. and Reyle, U., 1993, From Discourse to Logic, Dordrecht: Kluwer Academic Publishers."},{"key":"262460_CR16","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00159343","volume":"5","author":"H. Kamp","year":"1996","unstructured":"Kamp, H. and Reyle, U., 1996, \u201cA calculus for first order discourse representation structures,\u201d Journal of Logic, Language and Information\n5, 297\u2013348.","journal-title":"Journal of Logic, Language and Information"},{"key":"262460_CR17","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1305\/ndjfl\/1093870313","volume":"24","author":"S. Kuhn","year":"1983","unstructured":"Kuhn, S., 1983, \u201cAn axiomatisation of predicate functor logic,\u201d Notre Dame Journal of Formal Logic\n24, 233\u2013241.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"262460_CR18","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1305\/ndjfl\/1093635837","volume":"32","author":"W.C. Purdy","year":"1991","unstructured":"Purdy, W.C., 1991, \u201cA logic for natural language,\u201d Notre Dame Journal of Formal Logic\n32, 409\u2013425.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"262460_CR19","unstructured":"Quine, W.V.O., 1996, \u201cVariables explained away,\u201d pp. 227\u2013235 in Selected Logic Papers, New York."},{"key":"262460_CR20","unstructured":"S\u00e1nchez, V., 1991, \u201cStudies on natural logic and categorial grammar,\u201d Ph.D. Thesis, University of Amsterdam."},{"key":"262460_CR21","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01049304","volume":"22","author":"W. Saurer","year":"1993","unstructured":"Saurer, W., 1993, \u201cA natural deduction system for discourse representation theory,\u201d Journal of Philosophical Logic\n22, 249\u2013302.","journal-title":"Journal of Philosophical Logic"},{"key":"262460_CR22","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF00484987","volume":"73","author":"J. van Benthem","year":"1987","unstructured":"van Benthem, J., 1987, \u201cMeaning: Interpretation and inference,\u201d Synthese\n73, 451\u2013470.","journal-title":"Synthese"},{"key":"262460_CR23","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1093\/jos\/10.3.239","volume":"10","author":"J. van Eijck","year":"1993","unstructured":"van Eijck, J., 1993, \u201cThe dynamics of description,\u201d Journal of Semantics\n10, 239\u2013267.","journal-title":"Journal of Semantics"},{"key":"262460_CR24","first-page":"103","volume":"1","author":"J. van Eijck","year":"1999","unstructured":"van Eijck, J., 1999, \u201cAxiomatising dynamic logics for anaphora,\u201d Journal of Language and Computation\n1, 103\u2013126.","journal-title":"Journal of Language and Computation"},{"key":"262460_CR25","first-page":"179","volume-title":"Handbook of Logic and Language","author":"J. van Eijck","year":"1996","unstructured":"van Eijck, J. and Kamp, H., 1996, \u201cRepresenting discourse in context,\u201d pp. 179\u2013237 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Amsterdam: Elsevier."},{"key":"262460_CR26","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF01050788","volume":"2","author":"C.F.M. Vermeulen","year":"1993","unstructured":"Vermeulen, C.F.M., 1993, \u201cSequence semantics for dynamic predicate logic,\u201d Journal of Logic, Language, and Information\n2, 217\u2013254.","journal-title":"Journal of Logic, Language, and Information"},{"key":"262460_CR27","unstructured":"Visser, A., 1994, \u201cThe design of dynamic discourse denotations,\u201d Lecture Notes, Utrecht University."},{"key":"262460_CR28","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1023\/A:1008228122853","volume":"6","author":"A. Visser","year":"1997","unstructured":"Visser, A., 1997, \u201cDynamic relation logic is the logic of DPL-relations,\u201d Journal of Logic, Language and Information\n6, 441\u2013452.","journal-title":"Journal of Logic, Language and Information"},{"key":"262460_CR29","first-page":"321","volume":"37","author":"A. Visser","year":"1996","unstructured":"Visser, A. and Vermeulen, C., 1996, \u201cDynamic bracketing and discourse representation,\u201d Notre Dame Journal of Formal Logic\n37, 321\u2013365.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011251627260.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011251627260\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011251627260.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:29:34Z","timestamp":1749724174000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011251627260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["262460"],"URL":"https:\/\/doi.org\/10.1023\/a:1011251627260","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}