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 ...

Language semantics and syntax are crucial components of linguistics that explore how meaning is constructed and how sentences are structured. Recent research in this field has focused on various ...