Merging without mystery or: Variables in dynamics semantics [Book Review]

Journal of Philosophical Logic 24 (4):405 - 450 (1995)
Abstract
In this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a flexible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them - their names - and from the information that we store in them - their values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared with the familiar formalisms in dynamic semantics, DRT and DPL
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01048354
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,804
Through your library
References found in this work BETA
From Discourse to Logic.Hans Kamp & Uwe Reyle - 1993 - Kluwer Academic Publishers.
Dynamic Predicate Logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
Universal Grammar.R. Montague - 1970 - Theoria 36 (3):373--398.

View all 12 references / Add more references

Citations of this work BETA
The Emergence of Syntactic Structure.Marcus Kracht - 2007 - Linguistics and Philosophy 30 (1):47 - 95.
On Dependent Pronouns and Dynamic Semantics.Rick Nouwen - 2007 - Journal of Philosophical Logic 36 (2):123-154.
Semantically Restricted Argument Dependencies.Alastair Butler - 2011 - Journal of Logic, Language and Information 20 (1):69-114.

Add more citations

Similar books and articles
Dynamic Systems as Tools for Analysing Human Judgement.Joachim Funke - 2001 - Thinking and Reasoning 7 (1):69 – 89.
The Values of Variables in Dynamic Semantics.Paul Dekker - 1996 - Linguistics and Philosophy 19 (3):211 - 257.
Provability with Finitely Many Variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
Sequence Semantics for Dynamic Predicate Logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
Variables as Stacks.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (2):143-167.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.

Monthly downloads

Added to index

2009-01-28

Total downloads

29 ( #175,004 of 2,158,927 )

Recent downloads (6 months)

1 ( #353,777 of 2,158,927 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums