Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith’s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth c...

1998-1999 school year poses the question of how the United States should change its foreign policy toward Russia. Although debate about foreign policy has been relegated to a back-seat compared to domestic issues by the American public, the academic community in international relations (IR) has been energized by the end of the Cold War. The Russia topic will provide a challenging opportunity fo...

The paper presents an analysis of the interpretation of recursive types as logical relations in the framework of iterative algebraic theories. This allows a smoother presentation of the underlying technique, and easier proofs of properties of the interpretation.

The timed automaton model of 29, 30] is a general model for timing-based systems. A notion of timed action transducer is here deened as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can...

This study addresses the question of temporal cohesion in Italian word-medial VNC (vowel-nasal-obstruent) sequences varying in the laryngeal status of the post-nasal consonant, for two classes of obstruents distinct in terms of place and at three different speech rates. The temporal relations among the obstruent and the two preceding sonorant segments are examined, and variations in speaking te...

Variation in the production of English /l/ has received significant study. It has been characterized in terms of categorical allophones, in terms of acoustic properties, and in terms of articulatory timing. Using a parallel corpus of acoustic-articulatory data from two speakers of American English, this study looks at the relations between acoustic and articulatory measurements of /l/ across wo...

This report is a rst attempt of formalizing the diagonalization proof technique. We give a strategy how to systematically construct diagonalization proofs: (i) nding an indexing relation, (ii) constructing a diagonal element, and (iii) making the implicit contradiction of the diagonal element explicit. We suggest a declarative representation of the strategy and describe how it can be realized i...