Counting variables in a dynamic setting

DOI10.1093/LOGCOM/6.5.725MaRDI QIDQ4716050zbMATH OpenOpenAlexFDO

Authors 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

dynamic logicsdynamic perspectivedynamic semanticsfinite variable fragmentspredicate logicsprocedural treatment of quantifierssemantics of variablesstacks

Mathematics Subject Classification ID

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

Recommendations

• Variables as stacks. A case study in dynamic model theory
• Complexity and expressivity of propositional dynamic logics with finitely many variables
• Dynamic predicate logic
• Limitations of the program memory and the expressive power of dynamic logics

Cited in

(6)

• Scope control and grammatical dependencies
• About finite predicate logic
• Dynamic bracketing and discourse representation
• Variables as stacks. A case study in dynamic model theory
• Semantically restricted argument dependencies
• A calculus of substitutions for DPL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4716050)