Dynamic interpretation and Hoare deduction

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

zbMATH Keywords

knowledge representation languagesHoare logicgeneralized quantifierssemantics of natural languagedynamic assignment languagedynamic interpretation

Mathematics Subject Classification ID

Logic of natural languages (03B65) Knowledge representation (68T30)

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