SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Dynamic interpretation and hoare deduction · Study

ArticleShelves

ArticleDynamic interpretation and hoare deduction

Jan van Eijck1992

Article1992

Dynamic interpretation and hoare deduction

Jan van Eijck · Fer-Jan de Vries

41 citations·0/0 files stored·Journal of Logic Language and Information

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Syntax, Semantics, Linguistic Variation Logic, programming, and type systems Logic, Reasoning, and Knowledge

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 41 citations exist upstream.

References

1993From Discourse to Logic 2013A Theory of Truth and Semantic Representation 1990E-Type pronouns and donkey anaphora 1989Modal subordination and pronominal anaphora in discourse 1965Reference and Generality: An Examination of Some Medieval and Modern Theories.2007Quantifiers in Formal and Natural Languages 1987Noun Phrases, Generalized Quantifiers and Anaphora

Cited by

1995Merging without mystery or: Variables in dynamics semantics 2002Cases, Adverbs, Situations and Events 1997Definite Descriptions and Choice Functions

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2012The grammar of quantification and the fine structure of interpretation contextsarticle · 5 shared references 2008STRUCTURED NOMINAL AND MODAL REFERENCEthesis · 4 shared references 1996Parametrized sum individuals for plural anaphoraarticle · 4 shared references 2010Decomposing Modal Quantificationarticle · 4 shared references 2011Aspects of the progressive in English and Icelandicthesis · 4 shared references 2010Quantifiers and Variables: Insights from Sign Language (ASL and LSF)article · 4 shared references

Details

Year1992

Typearticle

Published1992-03-01

VenueJournal of Logic Language and Information

ISSN-L0925-8531

Languageen

Citations41

Files0 public / 0

ShelfSyntax, Semantics, Linguistic Variation

Identifiers

doi10.1007/bf00203385

openalex_workW1908337377

Links

Imported from OpenAlex (CC0) — nothing here is generated.