Variables as stacks. A case study in dynamic model theory

DOI10.1023/A:1008332604642zbMath0988.03050OpenAlexW1558384830MaRDI QIDQ1973928

C. F. M. Vermeulen

Publication date: 22 July 2002

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008332604642

zbMATH Keywords

bisimulationtransition systemsdynamic semantics of natural languagefinite variable hierarchiesmodel-theoretic games

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Natural language processing (68T50)

Related Items (2)

Cryptanalysis of WIDEA ⋮ Scope control and grammatical dependencies

This page was built for publication: Variables as stacks. A case study in dynamic model theory