Introduction to higher order categorical logic
Introduction to higher order categorical logic
Categorial Grammar and Discourse Representation Theory
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Journal of Logic and Computation
Presupposition accommodation as exception handling
SIGDIAL '10 Proceedings of the 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue
Hyperintensional dynamic semantics: analyzing definiteness with enriched contexts
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
A Higher-Order Theory of Presupposition
Studia Logica
Hi-index | 0.00 |
The accessibility constraints imposed on anaphora by dynamic theories of discourse are too strong because they rule out many perfectly felicitous cases. Several attempts have been made by previous authors to rectify this situation using various tactics. This paper proposes a more viable approach that involves replacing Heim's notion of familiarity with a generalized variant due to Roberts. This approach is formalized in hyperintensional dynamic semantics, and a fragment is laid out that successfully deals with some problematic examples.