@inbook{55f16cd711044e9fbc59f9e9103f48a1,
title = "Part II of On the Logic of Modalities",
abstract = "The ultimate goal of this part is to show that a proper understanding of the problem of modalities gives insight (i) into the conceptual presuppositions at the basis of the intuitionistic foundation of mathematics as well as (ii) into the relations between classical and intuitionistic logic. And, finally, (iii) to bring to light the relations between the alethic modalities, necessity and possibility, and the temporal modes of the present, on the one side, and on the past and the future of the other side.",
keywords = "D. Hilbert, E. Cassirer, E. Husserl, Existence in mathematics, Foundations of mathematics, H. Weyl, Ideal elements, L. E. J. Brouwer, Possible vs actual proofs, Temporal modalities",
author = "Stefania Centrone and Pierluigi Minari",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.",
year = "2022",
doi = "10.1007/978-3-030-87548-0_3",
language = "English",
series = "Synthese Library",
publisher = "Springer Science and Business Media B.V.",
pages = "29--53",
booktitle = "Synthese Library",
}