Dynamic Predicate Logic
Linguistics and Philosophy 14 (1):39 - 100 (1991)
| Abstract | This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMarco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.
Albert Visser (1998). Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7 (1):21-52.
Jan Eijck & Fer-Jan Vries (1992). Dynamic Interpretation and HOARE Deduction. Journal of Logic, Language and Information 1 (1).
Peter Pagin & Dag Westerståhl (1993). Predicate Logic with Flexibly Binding Operators and Natural Language Semantics. Journal of Logic, Language and Information 2 (2):89-128.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Albert Visser (2002). The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11 (1):107-131.
C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.
Jeroen Groenendijk & Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39-100.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads16 ( #74,784 of 549,845 )Recent downloads (6 months)1 ( #63,425 of 549,845 )How can I increase my downloads? |
My notes
Discussion
