caa a22 4500 475800281 CHVBK 20180406123735.0 cr unu---uuuuu 170329e20000401xx s 000 0 eng 10.1023/A:1008332604642 doi (NATIONALLICENCE)springer-10.1023/A:1008332604642 Vermeulen C.F.M. Philosophy Department and Utrecht Institute for Linguistics (UiL OTS), Utrecht University, Trans 10, 3512 JK, Utrecht, The Netherlands aut Variables as Stacks [Elektronische Daten] [C.F.M. Vermeulen] 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. Kluwer Academic Publishers, 2000 dynamic semantics nationallicence finite variable hierarchy nationallicence games nationallicence model theory nationallicence Journal of Logic, Language and Information Kluwer Academic Publishers 9/2(2000-04-01), 143-167 0925-8531 9:2<143 2000 9 10849 https://doi.org/10.1023/A:1008332604642 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1023/A:1008332604642 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Vermeulen C.F.M. Philosophy Department and Utrecht Institute for Linguistics (UiL OTS), Utrecht University, Trans 10, 3512 JK, Utrecht, The Netherlands aut NATIONALLICENCE 773 0- Journal of Logic, Language and Information Kluwer Academic Publishers 9/2(2000-04-01), 143-167 0925-8531 9:2<143 2000 9 10849 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer