Open Research Index

Teams, Truthmakers, Translations

Maria Aloni, Alexandru Baltag, Johan van Benthem, Nick Bezhanishvili, Søren Brinck Knudstorp

arXivarxiv/2610.15680Oct 11, 2026math.LOscore 0

We present a faithful translation from Aloni's logic BSL into a classical modal logic over semilattices combining ideas from earlier modal translations of truthmaker semantics with algebraic representation theory. We show how our method can also be made to work for other current hyperintensional logics. Finally, we place our results in a broader setting of translating hyperintensional logics into classical modal ones, and discuss applications and new challenges that arise for both areas of philosophical logic connected in this way.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.15680
curl -X POST /api/v1/records/arxiv/2610.15680/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.15680/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'