David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 24 (4):405 - 450 (1995)
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)|
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|
References found in this work BETA
No references found.
Citations of this work BETA
Alastair Butler (2011). Semantically Restricted Argument Dependencies. Journal of Logic, Language and Information 20 (1):69-114.
Similar books and articles
Joachim Funke (2001). Dynamic Systems as Tools for Analysing Human Judgement. Thinking and Reasoning 7 (1):69 – 89.
Paul Dekker (1996). The Values of Variables in Dynamic Semantics. Linguistics and Philosophy 19 (3):211 - 257.
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Provability with Finitely Many Variables. Bulletin of Symbolic Logic 8 (3):348-379.
Rick Nouwen (2007). On Dependent Pronouns and Dynamic Semantics. Journal of Philosophical Logic 36 (2):123 - 154.
C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.
C. F. M. Vermeulen (2000). Variables as Stacks. Journal of Logic, Language and Information 9 (2):143-167.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Added to index2009-01-28
Total downloads11 ( #136,262 of 1,100,864 )
Recent downloads (6 months)6 ( #44,113 of 1,100,864 )
How can I increase my downloads?