A Framework for Intuitionistic Modal Logics

Gordon D. Plotkin, Colin Stirling. A Framework for Intuitionistic Modal Logics. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 399-406, Morgan Kaufmann, 1986.

Bibliographies