Variables as stacks

Journal of Logic, Language and Information 9 (2):143-167 (2000)
  Copy   BIBTEX


The 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.



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

48 (#314,231)

6 months
3 (#857,336)

Historical graph of downloads
How can I increase my 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.
Text structure and proof structure.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (3):273-311.
Scope control and grammatical dependencies.Alastair Butler - 2007 - Journal of Logic, Language and Information 16 (3):241-264.

Add more citations

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.
Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
Sequence semantics for dynamic predicate logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.

View all 9 references / Add more references