Journal of Logic, Language and Information 9 (2):143-167 (2000)
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.
|Keywords||dynamic semantics finite variable hierarchy games model theory|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Scope Control and Grammatical Dependencies.Alastair Butler - 2007 - Journal of Logic, Language and Information 16 (3):241-264.
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.
Classism in the Stacks: Libraries and Poverty.Sanford Berman - 2007 - Journal of Information Ethics 16 (1):103-110.
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.
A Look at Tourism Through a Multi-Dimensional Model of Public Relations.Don Stacks - 2001 - World Futures 57 (5):481-493.
Algorithmic Logic. Multiple-Valued Extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Merging Without Mystery Or: Variables in Dynamics Semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.
Added to index2009-01-28
Total downloads20 ( #242,783 of 2,153,830 )
Recent downloads (6 months)1 ( #398,274 of 2,153,830 )
How can I increase my downloads?