10 citations · 10 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Teams, Truthmakers, Translations
Maria Aloni, Alexandru Baltag, Johan van Benthem +2
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…
math.LO2025★ 10 cited
Interleaving Logic and Counting
Johan van Benthem, Thomas Icard
Reasoning with quantifier expressions in natural language combines logical and arithmetical features, transcending strict divides between qualitative and quantitative. Our topic is…