Exact truthmaker semantics for modal logics

DOI10.1007/S10992-024-09752-9MaRDI QIDQ6544541

Dongwoo Kim

Publication date: 27 May 2024

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

zbMATH Keywords

modal logicKripke semanticspossible worldtruthmaker semanticsexactification

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Angellic content
• Tolerant, classical, strict
• Truth-maker semantics for intuitionistic logic
• The logic of paradox
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• First-order modal logic
• On notation for ordinal numbers.
• A completeness theorem in modal logic
• The Strict/Tolerant Idea and Bilattices
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

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)