1 paper
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…