A modal logic inspired by L.E.J. Brouwer's intuitionism. It grounds possibility in constructivist mathematics, offering a unique perspective on necessity…