Journal of Logic, Language and Information 2 (3):217-254 (1993)
Abstract |
In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.
|
Keywords | dynamic semantics discourse analysis eliminativity |
Categories | (categorize this paper) |
DOI | 10.1007/BF01050788 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.
Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Dynamic Predicate Logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
A Theory of Truth and Semantic Representation.Hans Kamp - 1981 - In P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
A Compositional Approach to Discourse Representation Theory.Henk Zeevat - 1989 - Linguistics and Philosophy 12 (1):95 - 131.
Citations of this work BETA
An Expressivist Analysis of the Indicative Conditional with a Restrictor Semantics.John Cantwell - forthcoming - Review of Symbolic Logic:1-44.
The Sophisticated Kind Theory.Matt Teichman - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy:1-47.
Sentence-Internal Different as Quantifier-Internal Anaphora.Adrian Brasoveanu - 2011 - Linguistics and Philosophy 34 (2):93-168.
Clarification, Ellipsis, and the Nature of Contextual Updates in Dialogue.Jonathan Ginzburg & Robin Cooper - 2004 - Linguistics and Philosophy 27 (3):297-365.
View all 18 citations / Add more citations
Similar books and articles
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
Merging Without Mystery Or: Variables in Dynamics Semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories.Myriam Bras & Laure Vieu (eds.) - 2001 - Elsevier.
The Donkey and the Monoid. Dynamic Semantics with Control Elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
Analytics
Added to PP index
2009-01-28
Total views
89 ( #129,579 of 2,499,668 )
Recent downloads (6 months)
1 ( #418,206 of 2,499,668 )
2009-01-28
Total views
89 ( #129,579 of 2,499,668 )
Recent downloads (6 months)
1 ( #418,206 of 2,499,668 )
How can I increase my downloads?
Downloads