@article{BSL6_4_Ono,
author = {Hiroakira ONO},
title = {On Some Intuitionistic Modal Logics},
journal = {Bulletin of the Section of Logic},
volume = {6},
number = {4},
year = {1977},
pages = {182--185}
}