Sequence semantics for dynamic predicate logic
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 |
Save to my reading list
Follow the author(s)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 28,798
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - jos.oxfordjournals.org (no proxy)
- link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- springerlink.com (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Dynamic Predicate Logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
Citations of this work BETA
Sentence-Internal Different as Quantifier-Internal Anaphora.Adrian Brasoveanu - 2011 - Linguistics and Philosophy 34 (2):93-168.
On Dependent Pronouns and Dynamic Semantics.Rick Nouwen - 2007 - Journal of Philosophical Logic 36 (2):123-154.
Merging Without Mystery Or: Variables in Dynamics Semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.
Scope Control and Grammatical Dependencies.Alastair Butler - 2007 - Journal of Logic, Language and Information 16 (3):241-264.
View all 7 citations / Add more citations
Similar books and articlesKripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
The Donkey and the Monoid. Dynamic Semantics with Control Elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories.Myriam Bras & Laure Vieu (eds.) - 2001 - Elsevier.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Merging Without Mystery Or: Variables in Dynamics Semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.
Monthly downloads
Added to index
2009-01-28Total downloads
39 ( #133,974 of 2,177,962 )Recent downloads (6 months)
1 ( #317,206 of 2,177,962 )How can I increase my downloads?
My notes
Discussion
Nothing in this forum yet.
