file change semantics

A theory within MODEL-THEORETIC SEMANTICS in which SENTENCES are analyzed as instructions for revising speaker ‘files’ of information. It has devoted special attention to the study of DEFINITENESS, INDEFINITENESS and ANAPHORA, and provided an early example of a DYNAMIC semantic theory. It is similar in many respects to DISCOURSE REPRESENTATION THEORY.