Year: 2026
Type: preprint
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.
Source: arXiv (Cornell University)
Institutions: University of Amsterdam, Stanford University, Tsinghua University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7221820307