Graduate studies at Western
|Abstract||In Groenendijk & Stokhof  a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jan Eijck & Fer-Jan Vries (1992). Dynamic Interpretation and HOARE Deduction. Journal of Logic, Language and Information 1 (1):1-44.
Albert Visser (1998). Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7 (1):21-52.
Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39 - 100.
Petr Hájek (1983). Arithmetical Interpretations of Dynamic Logic. Journal of Symbolic Logic 48 (3):704-713.
Jeroen Groenendijk & Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39-100.
Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.
Albert Visser (2002). The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11 (1):107-131.
Added to index2009-01-28
Total downloads13 ( #95,562 of 722,946 )
Recent downloads (6 months)2 ( #36,864 of 722,946 )
How can I increase my downloads?