Graduate studies at Western
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)|
|Through your library||Configure|
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 downloads5 ( #170,343 of 739,739 )
Recent downloads (6 months)0
How can I increase my downloads?