Journal of Logic, Language and Information 9 (2):143-167 (2000)
|Abstract||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||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Murdoch J. Gabbay (2011). Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax. Bulletin of Symbolic Logic 17 (2):161-229.
C. Vermeulen (2001). A Calculus of Substitutions for DPL. Studia Logica 68 (3):357-387.
Helena Rasiowa (1979). Algorithmic Logic. Multiple-Valued Extensions. Studia Logica 38 (4):317 - 335.
Helena Rasiowa (1981). On Logic of Complex Algorithms. Studia Logica 40 (3):289 - 310.
Don Stacks (2001). A Look at Tourism Through a Multi-Dimensional Model of Public Relations. World Futures 57 (5):481-493.
Rick Nouwen (2007). On Dependent Pronouns and Dynamic Semantics. Journal of Philosophical Logic 36 (2):123 - 154.
Sanford Berman (2007). Classism in the Stacks: Libraries and Poverty. Journal of Information Ethics 16 (1):103-110.
C. F. M. Vermeulen (1995). Merging Without Mystery Or: Variables in Dynamics Semantics. [REVIEW] Journal of Philosophical Logic 24 (4):405 - 450.
Added to index2009-01-28
Total downloads8 ( #131,711 of 722,863 )
Recent downloads (6 months)1 ( #60,917 of 722,863 )
How can I increase my downloads?