There are two major groups of analyses in the literature on English past tense; existential semantics with domain restriction, and pronominal (i.e. anaphoric) analysis. In this paper, I discuss a group data difficult for both these analyses: obligatory use some contexts without any salient antecedent, such as asking Who built church when pointing at (Kratzer 1998). The analysis predicts that te...

This paper describes a new technique for automatically parameterising the inverse filtered speech waveform by exploiting frequency domain measures and amplitude measures in the time domain. The technique is motivated by the difficulties posed by time domain analysis and by the consequent risks of inconsistencies on the part of both researchers and time based algorithms. The results demonstrate ...

The finite model property of the quasi-transitive modal logic K32 = K ⊕ ✷✷p → ✷✷✷p is proved. This modal logic is conservatively extended to the tense logic Kt32. We present a Gentzen sequent calculus Gt32 for Kt 3 2 which admits cut elimination. The sequent calculus Gt 3 2 is shown to have the finite model property by a construction of finite syntactic model. It follows that Kt32 has the finit...

transitivity = 2p → 22p, and the axioms for linearity .3 fomulated for both 2 and 2−. Here we call normal extensions of Lin.t simply tense logics. There is a sequence of papers on uni-modal logics of weak orderings. Probably the first one is the famous result of R. Bull [1] that all extensions of S4.3 have the fmp. Then K. Fine [3] proved that all extensions of K4.3 are complete, and recently M...

The question of whether the notional category ‘future’ in natural languages is a tense or modality has received a lot of attention in linguistic semantics, and it seems inescapable to conclude that the semantics of future involves a modal component (e.g. see Bertinetto, 1979; Enç 1996, Copley, 2002; Squartini, 2004; Kaufmann 2005; Mari, 2009,2010,to appear, Klecha 2014, Giannakidou 2012, Gianna...

This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We rst develop matrix as well as Kripke style semantics for those logics. Then, by extending the Godel-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting...

This dissertation proposes a theory of temporal implicatures, and applies it to the study of tense in Mbya Guarani. It is composed of two parts. In the first one, I discuss the analyses of temporal implicatures developed by Musan (1995, 1997) and Magri (2009). Although I argue in favor of Magri's (2009) analysis, I reject two aspects of his proposal: that tense is universally or generically qua...

Starting from the observation that a sentence like ??a dog is intelligent is difficult in the generic domain in the same way as ??a student is shy is in the existential one, this paper argues that as for the existential reading, the generic interpretation of the indefinites also needs a “context”. Adopting an explicit modal interpretation of GEN, our account builds on Greenberg (2002) insight t...