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.

Authors

Gordon D. Plotkin

Identified as Gordon D. Plotkin

Colin Stirling

This author has not been identified. Look up 'Colin Stirling' in Google