10 citations · 10 across the 2 of their papers we have counts for
3 papers
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…
cs.LO2022
Dependence Logics in Temporal Settings
Alexandru Baltag, Johan van Benthem, Dazhu Li
Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamic…