TY - RPRT TI - Embedding Modal Logics into Logics of Bunched Implications AU - Daniele Sansoni AU - Ranald Clouston PY - 2026 UR - https://arxiv.org/abs/2608.07203 ID - 2608.07203 ER -