A Framework for Intuitionistic Modal Logics.

Gordon D. Plotkin, Colin Stirling

Browse the full TARK paper archive.