Introduction
Johannes Grössl
In this talk I will give an overview of the debate by introducing the terminology and related issues in metaphysics and philosophy of language. He will make us acquainted with Arthur Prior's ''Thank goodness''-argument for the temporal irreducibility of tensed propositions and D. H. Mellor's opposing New Tenseless Theory of Time. Eventually, he will present and shortly discuss different theories to account for cross-time reference, among those the theory of quasi-truths by Ted Sider and the related Ersatzer Presentism advanced by Craig Bourne.