{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:49Z","timestamp":1725455929510},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018456","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"412-427","source":"Crossref","is-referenced-by-count":8,"title":["Anaphora and the logic of change"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Muskens","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"27_CR1","first-page":"1","volume":"16","author":"E. Bach","year":"1981","unstructured":"Bach, E. and Partee, B.H.: 1981, Anaphora and Semantic Structure, CLS 16, 1\u201328.","journal-title":"CLS"},{"key":"27_CR2","doi-asserted-by":"crossref","first-page":"369","DOI":"10.2307\/2026481","volume":"78","author":"J. Barwise","year":"1981","unstructured":"Barwise, J.: 1981, Scenes and Other Situations, The Journal of Philosophy, 78, 369\u2013397.","journal-title":"The Journal of Philosophy"},{"key":"27_CR3","first-page":"1","volume-title":"Generalized Quantifiers","author":"J. Barwise","year":"1987","unstructured":"Barwise, J.: 1987, Noun Phrases, Generalized Quantifiers and Anaphora, in P. G\u00e4rdenfors (ed.), Generalized Quantifiers, Reidel, Dordrecht, 1\u201329."},{"key":"27_CR4","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J. Barwise","year":"1981","unstructured":"Barwise, J. and Cooper, R.: 1981, Generalized Quantifiers and Natural Language, Linguistics and Philosophy 4, 159\u2013219.","journal-title":"Linguistics and Philosophy"},{"key":"27_CR5","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"Barwise, J. and Perry J.: 1983, Situations and Attitudes, MIT Press, Cambridge, Massachusetts."},{"unstructured":"Barwise, J and Etchemendy, 1987, The Liar: An Essay on Truth and Circularity, Oxford University Press.","key":"27_CR6"},{"volume-title":"Semantics from Different Points of View","year":"1979","unstructured":"B\u00e4uerle, R., Egli, U., and Von Stechow, A. (eds.): 1979, Semantics from Different Points of View, Springer, Berlin.","key":"27_CR7"},{"unstructured":"Chierchia, G.: 1990, Intensionality and Context Change, Towards a Dynamic Theory of Propositions and Properties, manuscript, Cornell University.","key":"27_CR8"},{"key":"27_CR9","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Church, A.: 1940, A Formulation of the Simple Theory of Types, The Journal of Symbolic Logic 5, 56\u201368.","journal-title":"The Journal of Symbolic Logic"},{"volume-title":"Handbook of Philosophical Logic","year":"1983","unstructured":"Gabbay, D. and G\u00fcnthner, F. (eds.): 1983, Handbook of Philosophical Logic, Reidel, Dordrecht.","key":"27_CR10"},{"key":"27_CR11","volume-title":"Intensional and Higher-Order Modal Logic","author":"D. Gallin","year":"1975","unstructured":"Gallin, D.: 1975, Intensional and Higher-Order Modal Logic, North-Holland, Amsterdam."},{"key":"27_CR12","volume-title":"Logics of Time and Computation","author":"R. Goldblatt","year":"1987","unstructured":"Goldblatt, R.: 1987, Logics of Time and Computation, CSLI Lecture Notes, Stanford."},{"unstructured":"Groenendijk, J. and Stokhof, M.: 1989, Dynamic Predicate Logic, ITLI, Amsterdam. To appear in Linguistics and Philosophy.","key":"27_CR13"},{"key":"27_CR14","first-page":"3","volume-title":"Papers from the Second Symposium on Logic and Language","author":"J. Groenendijk","year":"1990","unstructured":"Groenendijk, J. and Stokhof, M.: 1990, Dynamic Montague Grammar, in L. K\u00e1lm\u00e1n and L. P\u00f3los (eds.), Papers from the Second Symposium on Logic and Language, Akad\u00e9miai Kiad\u00f3, Budapest, 3\u201348."},{"doi-asserted-by":"crossref","unstructured":"Harel, D.: 1984, Dynamic Logic, in Gabbay & G\u00fcnthner [1983], 497\u2013604.","key":"27_CR15","DOI":"10.1007\/978-94-009-6259-0_10"},{"unstructured":"Heim, I.: 1982, The Semantics of Definite and Indefinite Noun Phrases, Dissertation, University of Massachusetts, Amherst. Published in 1989 by Garland, New York.","key":"27_CR16"},{"key":"27_CR17","doi-asserted-by":"crossref","first-page":"323","DOI":"10.4064\/fm-52-3-323-344","volume":"52","author":"L. Henkin","year":"1963","unstructured":"Henkin, L.: 1963, A Theory of Propositional Types, Fundamenta Mathematicae 52, 323\u2013344.","journal-title":"Fundamenta Mathematicae"},{"unstructured":"Janssen, T.: 1983, Foundations and Applications of Montague Grammar, Dissertation, University of Amsterdam. Published in 1986 by CWI, Amsterdam.","key":"27_CR18"},{"key":"27_CR19","first-page":"277","volume-title":"Formal Methods in the Study of Language, Part I","author":"H. Kamp","year":"1981","unstructured":"Kamp, H.: 1981, A Theory of Truth and Semantic Representation, in J. Groenendijk, Th. Janssen, and M. Stokhof (eds.), Formal Methods in the Study of Language, Part I, Mathematisch Centrum, Amsterdam, 277\u2013322."},{"key":"27_CR20","series-title":"Syntax and Semantics","volume-title":"Notes from the Linguistic Underground","author":"L. Karttunen","year":"1976","unstructured":"Karttunen, L.: 1976, Discourse Referents, in J. McCawley (ed.), Notes from the Linguistic Underground, Syntax and Semantics 7, Academic Press, New York."},{"doi-asserted-by":"crossref","unstructured":"Lewis, D.: 1979, Score Keeping in a Language Game, in B\u00e4uerle, Egli & Von Stechow [1979], 172\u2013187.","key":"27_CR21","DOI":"10.1007\/978-3-642-67458-7_12"},{"doi-asserted-by":"crossref","unstructured":"Montague, R.: 1973, The Proper Treatment of Quantification in Ordinary English, reprinted in Montague [1974], 247\u2013270.","key":"27_CR22","DOI":"10.1007\/978-94-010-2506-5_10"},{"key":"27_CR23","volume-title":"Formal Philosophy","author":"R. Montague","year":"1974","unstructured":"Montague, R.: 1974, Formal Philosophy, Yale University Press, New Haven."},{"key":"27_CR24","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1515\/9783110877335-008","volume-title":"Semantics and Contextual Expression","author":"R.A. Muskens","year":"1989","unstructured":"Muskens, R.A.: 1989a, Going Partial in Montague Grammar, in R. Bartsch, J.F.A.K. van Benthem and P. van Emde Boas (eds.), Semantics and Contextual Expression, Foris, Dordrecht, 175\u2013220."},{"unstructured":"Muskens, R.A.: 1989b, Meaning and Partiality, Dissertation, University of Amsterdam.","key":"27_CR25"},{"unstructured":"Muskens, R.A.: to appear, Tense and the Logic of Change, paper submitted to the proceedings of the Third Symposium of Logic and Language, Budapest.","key":"27_CR26"},{"unstructured":"Muskens, R.A.: in preparation, Logical Semantics for Programming Languages.","key":"27_CR27"},{"key":"27_CR28","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1090\/S0002-9947-1959-0107600-8","volume":"92","author":"S. Orey","year":"1959","unstructured":"Orey, S.: 1959, Model Theory for the Higher Order Predicate Calculus, Transactions of the American Mathematical Society 92, 72\u201384.","journal-title":"Transactions of the American Mathematical Society"},{"doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: 1976, Semantical Considerations on Floyd-Hoare Logic, Proc. 17th IEEE Symp. on Foundations of Computer Science, 109\u2013121.","key":"27_CR29","DOI":"10.1109\/SFCS.1976.27"},{"key":"27_CR30","volume-title":"Formal semantics and Pragmatics for Natural Languages","author":"T. Reinhart","year":"1979","unstructured":"Reinhart, T.: 1979, Syntactic Domains for Semantic Rules, in F. G\u00fcnthner and S. Schmidt (eds.), Formal semantics and Pragmatics for Natural Languages, Reidel, Dordrecht."},{"key":"27_CR31","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/978-94-009-3381-1_9","volume-title":"Generalized Quantifiers","author":"M. Rooth","year":"1987","unstructured":"Rooth, M.: 1987, Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics, in P. G\u00e4rdenfors (ed.), Generalized Quantifiers, Reidel, Dordrecht, 237\u2013268."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:36:25Z","timestamp":1586572585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0018456","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}