-
The notion of information developed in systems of dynamic semantics is applied in an analysis of the referential interpretation of definite descriptions, and the specific interpretation of indefinite ones. A Russellian treatment of descriptions is upgraded with the dynamic semantic notion of a di...
-
We give an introduction to the field of Temporal Logic. This report will form a Chapter of Blackwell's Guide to Philosophical Logic (to appear), edited by Lou Goble.
-
Anaphoric Linking at Run Time: A Type-Logical Account of Discourse Representation Kazushige Terui A number of attempts have been made to combine Discourse Representation Theory with type-logical grammar in order to obtain a compositional (bottom-up) framework for discourse representation (e...