Dynamic interpretation and Hoare deduction
From MaRDI portal
Publication:1314291
DOI10.1007/BF00203385zbMath0793.03033OpenAlexW1908337377MaRDI QIDQ1314291
Fer-Jan de Vries, Jan van Eijck
Publication date: 10 March 1994
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00203385
knowledge representation languagesHoare logicgeneralized quantifierssemantics of natural languagedynamic assignment languagedynamic interpretation
Related Items (5)
Reasoning about update logic ⋮ Presupposition failure - a comedy of errors ⋮ Directions in generalized quantifier theory ⋮ The grammar of quantification and the fine structure of interpretation contexts ⋮ Implicit and explicit stances in logic
This page was built for publication: Dynamic interpretation and Hoare deduction