Gödel’s modal interpretation of intuitionistic logic and its proof theory
Crossref DOI link: https://doi.org/10.1007/s00605-025-02083-0
Published Online: 2025-07-08
Published Print: 2025-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
von Plato, Jan
Funding for this research was provided by:
European Research Council (787758)
Text and Data Mining valid from 2025-07-08
Version of Record valid from 2025-07-08
Article History
Received: 11 February 2025
Accepted: 25 March 2025
First Online: 8 July 2025