Variables as stacks. A case study in dynamic model theory
From MaRDI portal
Publication:1973928
DOI10.1023/A:1008332604642zbMath0988.03050MaRDI QIDQ1973928
Publication date: 22 July 2002
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
bisimulation; transition systems; dynamic semantics of natural language; finite variable hierarchies; model-theoretic games
03B60: Other nonclassical logic
03B65: Logic of natural languages
68T50: Natural language processing
Related Items