Tense and the logic of change

Abstract

In this paper I shall show that the DRT (Discourse Representation Theory) treatment of temporal anaphora 1 can be formalized within a version of Montague Semantics that is based on classical type logic. This emulation has at least two purposes. In the first place it may serve as one more illustration of the general point that although there are several

Cite this work

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

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

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