The Logic of Bunched Implications Is Undecidable.

Nikolaos Galatos, Peter Jipsen, Sren Brinck Knudstorp, Revantha Ramanayake

Browse the full LICS paper archive.