In Sect. 11.2, we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of the classical meaning of the logical constants and consequently is incompatible with the antirealism of orthodox Intuitionism. In Sect. 11.3, we show how what we call the “potential” intuitionistic meaning of the logical constants can be defined, on the one hand, by means of the notion of atemporal provability and, on the other hand, by means of the operator K of epistemic logic. Intuitionistic logic, as reconstructed within this perspective, turns out to be a part of epistemic logic, so that it loses its traditional foundational role, antithetic to that of classical logic . In Sect. 11.4, we uphold the view that certain consequences of the adoption of a temporal notion of truth, despite their apparent oddity, are quite acceptable from an antirealist point of view.