Counting variables in a dynamic setting

DOI10.1093/LOGCOM/6.5.725zbMath0857.03022OpenAlexW2135160805MaRDI QIDQ4716050

Marco Hollenberg, Kees Vermeulen

Publication date: 11 March 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26472

zbMATH Keywords

stacksdynamic semanticspredicate logicsdynamic logicsdynamic perspectivefinite variable fragmentsprocedural treatment of quantifierssemantics of variables

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80) Natural language processing (68T50) General topics in the theory of software (68N01) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Semantically restricted argument dependencies ⋮ Scope control and grammatical dependencies ⋮ Dynamic bracketing and discourse representation

This page was built for publication: Counting variables in a dynamic setting