Retro-Closure Principle and Omniscience

Todd and Rabern (2021) have argued that if we assume that future contingents are untrue and if we accept the Retro-closure principle (𝑝 → PF(𝑝)), then the existence of a temporal omniscient entity becomes metaphysically impossible. Since the truth of a metaphysical and theological theory should not be dependent on questions of temporal semantics, Todd and Rabern conclude that, if one wishes to maintain that future contingents are untrue, one must abandon the Retro-closure principle. The aim of this paper is to propose a temporal semantics system in which future contingents are untrue, the Retro-closure principle is valid, and the possibility of the existence of an omniscient and temporal being is guaranteed.