Journal of Logic, Language and Information 9 (2):143-167 (2000)
AbstractThe development of the dynamic semantics of natural languagehas put issues of variable control on the agenda of formal semantics. Inthis paper we regard variables as names for stacks of values and makeexplicit several control actions as push and pop actions on stacks. Weapply this idea both to static and dynamic languages and compare theirfinite variable hierarchies, i.e., the relation between the number ofvariable stacks that is available and the expressivity of the language.This can be compared in natural languages with relating the number ofpronouns available to the expressivity of the language.The results are obtained using techniques from static and dynamic modeltheory: model theoretic games, transition systems and bisimulation.
Similar books and articles
Foundations of nominal techniques: logic and semantics of variables in abstract syntax.Murdoch J. Gabbay - 2011 - Bulletin of Symbolic Logic 17 (2):161-229.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
A look at tourism through a multi-dimensional model of public relations.Don Stacks - 2001 - World Futures 57 (5):481-493.
Variables in Natural Language: Where Do They Come From?'.Jaroslav Peregrin - 2000 - In Michael Böttner & Wolf Thümmel (eds.), Variable-Free Semantics. Secolo. pp. 46--65.
Classism in the Stacks: Libraries and Poverty.Sanford Berman - 2007 - Journal of Information Ethics 16 (1):103-110.
Merging without mystery or: Variables in dynamics semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.
Added to PP
Historical graph of downloads
Citations of this work
Reviving the parameter revolution in semantics.Bryan Pickel, Brian Rabern & Josh Dever - 2018 - In Derek Ball & Brian Rabern (eds.), The Science of Meaning. Oxford: Oxford University Press. pp. 138-171.
Scope control and grammatical dependencies.Alastair Butler - 2007 - Journal of Logic, Language and Information 16 (3):241-264.
Text structure and proof structure.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (3):273-311.
References found in this work
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.
Sequence semantics for dynamic predicate logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
Program constructions that are safe for bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
Contexts in dynamic predicate logic.Albert Visser - 1998 - Journal of Logic, Language and Information 7 (1):21-52.