.png){kind=icon}
.png){kind=icon}
返回
A Norm-based Truthmaker Semantics for Modal Logic
.png){kind=icon}
OA
AI
DOI：10.1007/s10992-025-09826-2.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
近几十年来，真理制造者语义学吸引了来自不同领域学者的关注，这或许是因为其哲学基础以及在解决许多使用替代语义框架难以解决的问题时所展现的灵活性。目前的研究重点在于为模态逻辑发展真理制造者语义学；本文为此方向做出了贡献。我们引入的基本思想是，模态句子的真理制造者是规范。这使我们能够得出两个有趣的结果：首先，我们为极小单调逻辑引入了一种新的模态语义；其次，我们为每个由克里普克框架类所刻画的模态逻辑提供了一种真理制造者语义。据我们所知，这是关于正常模态逻辑真理制造者语义学的第一个普遍性结果。
Keyword:
truthmaker semantics
modal logic
norms
Kripke frames
minimal monotonic logic
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。