Abstract
A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Asher, N. and Lascarides, A., 1998, “The semantics and pragmatics of presupposition,” Manuscript.
Barwise, J., 1987, “Noun phrases, generalized quantifiers and anaphora,” pp. 1–29 in P. Gärdenfors, ed., Generalized Quantifiers, Studies in Language and Philosophy, Vol. 31, Dordrecht: Reidel.
Fernando, T., 1994, “What is a DRS?,” in R. Cooper and J. Groenendijk, eds., Integrating Semantic Theories II, Dyana deliverable R2.1.B. Also pp. 61-70 in H. Bunt, R. Muskens, and G. Rentier, eds., Proceedings International Workshop on Computational Semantics, Tilburg: ITK.
Fernando, T., 1997, “Ambiguity under changing contexts,” Linguistics and Philosophy 20(6), 575–606.
Fernando, T., 1998, “In conjunction with qualitative probability,” Annals of Pure and Applied Logic 92(3), 217–234.
Groenendijk, J. and Stokhof, J., 1991, “Dynamic predicate logic,” Linguistics and Philosophy 14, 39–100.
Harel, D., 1984, “Dynamic logic,” pp. 497–604 in D. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic, Vol. 2, Dordrecht: Reidel.
Heim, I., 1983, “On the projection problem for presuppositions,” pp. 114–126 in M. Barlow, D.P. Flickinger, and M.T. Westcoat, eds., Proceedings West Coast Conference on Formal Linguistics, Vol. 2, Stanford, CA: Stanford Linguistics Association.
Kamp, H. and Reyle, U., 1993, From Discourse to Logic, Dordrecht: Kluwer Academic Publishers.
Marx, M. and Venema, Y., 1997, Multi-Dimensional Modal Logic, Applied Logic Series, Vol. 4, Dordrecht: Kluwer Academic Publishers.
Ranta, A., 1994, Type-Theoretical Grammar, Oxford: Oxford University Press.
Segerberg, K., 1971, “Qualitative probability in a modal setting,” pp. 341–352 in J.E. Fenstad, ed., Second Scandinavian Logic Symposium, Amsterdam: North-Holland.
van Benthen, J., van Eijck, J., and Stebletsova, V., 1994, “Modal logic, transitions systems and processes,” Journal of Logic and Computation 4, 811–855.
van Deemter, K., 1996, “Towards a logic of ambiguous expressions,” pp. 203–237 in K. van Deemter and S. Peters, eds., Semantic Ambiguity and Underspecification, CSLI Lecture Notes, Vol. 55, Stanford, CA: CSLI.
van der Sandt, R.A., 1992, Presupposition projection as anaphora resolution,” Journal of Semantics 9(4), 333–377.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fernando, T. A Modal Logic for Non-Deterministic Discourse Processing. Journal of Logic, Language and Information 8, 445–468 (1999). https://doi.org/10.1023/A:1008314917231
Issue Date:
DOI: https://doi.org/10.1023/A:1008314917231