Logics of truthmaker semantics: comparison, compactness and decidability

DOI10.1007/S11229-023-04401-1MaRDI QIDQ6835044zbMATH OpenFDO

Authors Søren Brinck Knudstorp

Publication date 31 March 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-023-04401-1

zbMATH Keywords

compactnessdecidabilityfinite model propertymodal information logicmodal logictranslationstruthmaker semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) 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
• Angellic content
• scientific article; zbMATH DE number 1222488 (Why is no real title available?)
• Implicit and explicit stances in logic
• Logic for exact entailment
• Modal information logics: axiomatizations and decidability
• Modal logic
• PROOF SYSTEMS FOR EXACT ENTAILMENT

This page was built for publication: Logics of truthmaker semantics: comparison, compactness and decidability

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