Truthmaker semantics for intuitionistic modal logic

DOI10.1007/S11245-024-10094-ZMaRDI QIDQ7227951zbMATH OpenFDO

Authors Jon Erling Litland

Publication date 13 April 2026

Published in Topoi (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11245-024-10094-Z

zbMATH Keywords

intuitionistic logicintuitionistic modal logicmodalitytruthmaker semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Modal logic (including the logic of norms) (03B45)

Cites work

• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• scientific article; zbMATH DE number 5282337 (Why is no real title available?)
• scientific article; zbMATH DE number 3706414 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• scientific article; zbMATH DE number 2229036 (Why is no real title available?)
• Knowledge is closed under analytic content
• Modal Logic as Metaphysics
• Neighborhood semantics for modal logic
• The fundamental problem of logical omniscience
• THE PURE LOGIC OF GROUND
• Truth-maker semantics for intuitionistic logic
• Truthmakers, Incompatibility, and Modality

This page was built for publication: Truthmaker semantics for intuitionistic modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7227951)