.png){kind=icon}
.png){kind=icon}
Return
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}
Share.png){kind=icon}
Save
Abstract
En 中文
In the last few decades, truthmaker semantics has attracted the attention of scholars from various areas, arguably due to its philosophical underpinning and its flexibility in addressing a number of problems that are difficult to solve using alternative semantic frameworks. Attention is now focused on developing truthmaker semantics for modal logic; this paper contributes to that direction. The basic idea we introduce is that truthmakers of modal sentences are norms. This allows us to derive two interesting results: first, we introduce a new modal semantics for minimal monotonic logic; second, we provide a truthmaker semantics for every modal logic characterized by a class of Kripke frames. This is, as far as we can tell, the first general result about truthmaker semantics for normal modal logics.
Keywords:
truthmaker semantics
modal logic
norms
Kripke frames
minimal monotonic logic
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
J
IF:
1
Papers:
38
Citations:
1.4K