 The problem of future contingents is interwoven with a number of issues in theology, philosophy, logic, semantics of natural language, computer science, and applied mathematics. The theological issue of how to reconcile the assumption of God’s foreknowledge with the freedom and moral accountability of human beings has been a main impetus to the discussion and a major inspiration to the development of various logical models of time and future contingents. This theological issue is connected with the general philosophical question of determinism versus indeterminism. Within logic, the relation between time and modality must be studied and various models satisfying various assumptions with respect to the structure of time must be developed and investigated. The project of formal semantics for natural languages also has to address the problem of how to ascribe a correct semantics to statements about the future. Finally, it should be mentioned that temporal logic has found a remarkable application in computer science and applied mathematics (see Hasle and Øhrstrøm 2004).