Gheorghiu, Alexander; Pym, David; (2023) Semantical Analysis of the Logic of Bunched Implications. Studia Logica: An International Journal for Symbolic Logic 10.1007/s11225-022-10028-z. (In press).