A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...

Journal of Logic, Language, and Information, Vol. 2, No. 3 (Jul., 1993), pp. 217-254 (38 pages) In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments ...

The theory of grammar adopted here is that grammar is linked to the semantic notion of conceptual which includes proposition structure. A proposition is that part of a sentence less its modal ...