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.

@inproceedings{PlotkinS86,
  title = {A Framework for Intuitionistic Modal Logics},
  author = {Gordon D. Plotkin and Colin Stirling},
  year = {1986},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/PlotkinS86},
  cites = {0},
  citedby = {0},
  pages = {399-406},
  booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986},
  editor = {Joseph Y. Halpern},
  publisher = {Morgan Kaufmann},
  isbn = {0-934613-04-4},
}