Crossmark

Truthmaker Semantics for Intuitionistic Modal Logic

Crossref DOI link: https://doi.org/10.1007/s11245-024-10094-z

Published Online: 2024-11-29

Published Print: 2025-05

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Litland, Jon Erling https://orcid.org/0000-0001-7162-0045
Funding

Funding for this research was provided by:

HORIZON EUROPE European Research Council (101054836)
License Information

Text and Data Mining valid from 2024-11-29

Version of Record valid from 2024-11-29
More Information

Article History

Accepted: 26 August 2024

First Online: 29 November 2024

Conflict of interest

: The author reports no Conflict of interest