mio (@mio)

Pleased to announce that my paper, 'Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason', with Jim de Groot and Ian Shillito, is accepted for publication. It will be published as part of College Publications's Tributes series, in a volume dedicated to my Master's supervisor of a couple of decades ago, Rob Goldblatt. arxiv.org/abs/2601.03762v2 #logic