Constructive modal Logics: Again

Gavin Bierman Over the last thirty years, I have repeatedly returned to a particular question in logic: What should modal logic look like in a constructive world? This question first appeared in my work in the early 1990s and has since shaped a series of papers, collaborations, workshops, and talks. Looking back, it is clear that these efforts form a small research lineage centered on the interaction between modality and constructive logic, especially intuitionistic logic. I thought it might be