10 citations · 10 across the 2 of their papers we have counts for
1 paper · 2 filters
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…