A Logical Framework for the Spotlight Theory of Time Ciro De Florio Catholic University of Milan, Italy ciro.deforio@unicatt.it Aldo Frigerio Catholic University of Milan, Italy aldo.frigerio@unicatt.it Alessandro Giordani Catholic University of Milan, Italy alessandro.giordani@unicatt.it Abstract The aim of this paper is twofold: on the one hand, to provide a conceptual analysis of the so called moving spotlight theory of time, highlighting its underlying metaphysical assumptions; on the other hand, to develop a semantics for a temporal logic which allows us to grasp the philosophical background of this theory. Keywords: Temporal logic, Spotlight theory of time, Eternalism, Abso- lutism, Block universe, Dynamism, C. D. Broad 1 Introduction The moving spotlight theory of time, MST for short, can be best under- stood in terms of Broad’s lucky metaphor (see [1]): 113