Exact truthmaker semantics for modal logics

DOI10.1007/S10992-024-09752-9MaRDI QIDQ6544541zbMATH OpenFDO

Authors Dongwoo Kim

Publication date 27 May 2024

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10992-024-09752-9

zbMATH Keywords

exactificationKripke semanticsmodal logicpossible worldtruthmaker semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A completeness theorem in modal logic
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• An exact truthmaker semantics for permission and obligation
• Angellic content
• First-order modal logic
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• On notation for ordinal numbers.
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The logic of paradox
• The strict/tolerant idea and bilattices
• Tolerant, classical, strict
• Truth-maker semantics for intuitionistic logic

Cited in

(1)

• A norm-based truthmaker semantics for modal logic

This page was built for publication: Exact truthmaker semantics for modal logics

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