Interpretations of intuitionist logic in non-normal modal logics Colin Oakes OriginalPaper Pages: 47 - 60