Incremental dynamics

Journal of Logic, Language and Information

Volumn 10, Issue 3, 2001, Pages 319-351

  Van Buck, J A N ^a  

^a CWI   (Netherlands)

Author keywords

Anaphora and context; Complete calculus for dynamic reasoning with anaphora; Dynamic semantics of natural language; Incremental interpretation; Monotonie semantics

Indexed keywords

EID: 13844257916     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/a:1011251627260     Document Type: Article

References (29)

1. Aczel, P., 1996, "Variable binding," Notes of a talk for Accolade, Plasmolen.
2. Barendregt, H., 1984, The Lambda Calculus: Its Syntax and Semantics, 2nd edn., Amsterdam: North-Holland.
3. Barwise, J., 1987, "Noun phrases, generalized quantifiers and anaphora," pp. 1-30 in Generalized Quantifiers: Linguistic and Logical Approaches, P. Gärdenfors, ed., Dordrecht: Reidel.
4. Beaver, D., 1999, "The logic of anaphora resolution," pp. 61-66 in Proceedings of the Twelfth Amsterdam Colloquium, December 18-21, P. Dekker, ed., Amsterdam: ILLC.
5. Ben-Shalom, D., 1994, "A path-based variable-free system for predicate logic," Technical Report CS-89444, Amsterdam: CWI.
6. Blackburn, P. and Venema, Y., 1995, "Dynamic squares," Journal of Philosophical Logic 24, 469-523.
7. Clark, R. and Kurtonina, N., "Consequences from Quine," pp. 91-95 in Proceedings of the Twelfth Amsterdam Colloquium, P. Dekker, ed., Amsterdam: University of Amsterdam.
8. De Bruijn, N.G., 1980, "A survey of the project AUTOMATH," pp. 579-606 in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J.R. Hindley and J.P. Seldin, eds., London: Academic Press.
9. Dekker, P., 1994, "Predicate logic with anaphora," p. 17vv in Proceedings of the Fourth Semantics and Linguistic Theory Conference, L. Santelmann and M. Harvey, eds., Cornell University, DMML Publications.
10. Groenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic," Linguistics and Philosophy 14, 39-100.
11. Gunter, C.A, 1992, Semantics of Programming Languages, Cambridge, MA: MIT Press.
12. Heim, L, 1982, "The semantics of definite and indefinite noun phrases," Ph.D. Thesis, University of Massachusetts, Amherst.
13. Hollenberg, M., 1997, "An equational axiomatisation of dynamic negation and relational composition," Journal of Logic, Language and Information 6, 381-4-01.
14. Kamp, H., 1981, "A theory of truth and semantic representation," pp. 277-322 in Formal Methods in the Study of Language, J. Groenendijk, T. Janssen, and M. Stokhof, eds., Amsterdam: Mathematisch Centrum.
15. Kamp, H. and Reyle, U., 1993, From Discourse to Logic, Dordrecht: Kluwer Academic Publishers.
16. Kamp, H. and Reyle, U., 1996, "A calculus for first order discourse representation structures," Journal of Logic, Language and Information 5, 297-348.
17. Kuhn, S., 1983, "An axiomatisation of predicate functor logic," Notre Dame Journal of Formal Logic 24,233-241.
18. Purdy, W.C., 1991, "A logic for natural language," Notre Dame Journal of Formal Logic 32,409-4-25.
19. Quine, W.V.O., 1996, "Variables explained away," pp. 227-235 in Selected Logic Papers, New York.
20. Sánchez, V., 1991, "Studies on natural logic and categorial grammar," Ph.D. Thesis, University of Amsterdam.
21. Saurer, W., 1993, "A natural deduction system for discourse representation theory," Journal of Philosophical Logic 22, 249-302.
22. van Benthem, J., 1987, "Meaning: Interpretation and inference," Synthese 73, 451-4-70.
23. van Eijck, J., 1993, "The dynamics of description," Journal of Semantics 10, 239-267.
24. van Eijck, J., 1999, "Axiomatising dynamic logics for anaphora," Journal of Language and Computation 1, 103-126.
25. van Eijck, J. and Kamp, H., 1996, "Representing discourse in context," pp. 179-237 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Amsterdam: Elsevier.
26. Vermeulen, C.F.M., 1993, "Sequence semantics for dynamic predicate logic," Journal of Logic, Language, and Information 2, 217-254.
27. Visser, A., 1994, "The design of dynamic discourse denotations," Lecture Notes, Utrecht University.
28. Visser, A., 1997, "Dynamic relation logic is the logic of DPE-relations," Journal of Logic, Language and Information 6, 441-4-52.
29. Visser, A. and Vermeulen, C., 1996, "Dynamic bracketing and discourse representation," Notre Dame Journal of Formal Logic 37, 321-365.