Intuitionistic S4 is decidable.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger

Browse the full LICS paper archive.