Intuitionistic Modal Logic: A 15-year retrospective. (12th June 2015) - Stewart, Charles; de Paiva, Valeria; Alechina, Natasha