The Thin Red Line, Molinism, and the Flow of Time Ciro De Florio ∗ Aldo Frigerio † Abstract In addressing the problem of the (in)compatibility of divine fore- knowledge and human freedom, philosophers of religion encounter prob- lems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line (TRL) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance between Molinism and TRL models, Restall (2011) has advanced some criti- cisms of Molinism that have also been leveled against TRL models. In particular, Restall believes that the implication p → HFp is not true in TRL models. Because Molinists must also accept that this implica- tion is not true, this is a problem for them. We will show that Restall’s criticism is wide of the mark. Firstly, it will be demonstrated that in many open future models (not just TRL) the implication p → HFp is invalid. Secondly, while it is possible to account for this implication, some modifications are required in respect of the branching time se- mantics. In proposing one such modification, we show that this new ∗ Department of Philosophy, Catholic University of Milan, L.go Gemelli, 1 – 20123 Milan, Italy. ciro.deflorio@unicatt.it † Department of Philosophy, Catholic University of Milan, L.go Gemelli, 1 – 20123 Milan, Italy. aldo.frigerio@unicatt.it 1