Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 15 min ago
PreprintarXiv licencearXiv

Teams, Truthmakers, Translations

  • Maria Aloni
  • Alexandru Baltag
  • Johan van Benthem
  • Nick Bezhanishvili
  • Søren Brinck Knudstorp
Open at sourcePDFDOICite

Abstract

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.

Related

  1. On the dynamics of composition operators: supercyclicity, odometers and translations
    Frédéric Bayart, Etienne Matheron
    HALPreprintCC BY-NC-ND 4.0Full textAnalysis & PDEsHAL
  2. Extreme values and logarithm laws for toral translations
    Sourav Das, Anish Ghosh, Sundara Narasimhan
    arXivPreprintCC BY-NC-ND 4.0Full textAlgebra & number theoryDynamical systemsarXiv
  3. Kolmogorov--Arnold against bounded translations
    Sviatoslav V. Dzhenzher
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
  4. Combinatorics of translations of meager and closed measure zero sets
    Aleksander Cieślak
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  5. Counting Lattice Points in Translations: Uniqueness and Existence Results
    Ansgar Freyer, Georg C. Hofstätter
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsGeometry & topologyarXiv

Cite

BibTeXRIS
BibTeX
@misc{aloni2026teams,
  title = {{Teams, Truthmakers, Translations}},
  author = {Maria Aloni and Alexandru Baltag and Johan van Benthem and Nick Bezhanishvili and Søren Brinck Knudstorp},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.15680},
  eprint = {2610.15680},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.15680},
}
RIS
TY  - UNPB
TI  - Teams, Truthmakers, Translations
AU  - Maria Aloni
AU  - Alexandru Baltag
AU  - Johan van Benthem
AU  - Nick Bezhanishvili
AU  - Søren Brinck Knudstorp
PY  - 2026
DA  - 2026/10/11
PB  - arXiv
DO  - 10.48550/arxiv.2610.15680
UR  - https://arxiv.org/abs/2610.15680
AB  - 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.
ER  -