A framework for intuitionistic modal logic (1986)

by G Plotkin, C Stirling
Venue:In Proceedings of the 1st Conference onTheoreticalAspects of Reasoning about Knowledge