Seminários de Lógica Matemática 29 de Outubro 2008, 18h00 Abstract: The talk introduces an event calculus originally developed by M. Shanahan for high level control of mobile robots. It is argued that a combination of the event calculus with one of FefermanÕs type free systems allows for a formalisation of the notion reiÞcation. The combined system will be used to develop an empirically adequate computational semantic theory of tense, aspect, and nominalisations. If time allows relationsships of the proposed theory to Discourse Representation Theory will be discussed. | back |