@Article{ authors = " Kazuyo Inoi", title = "Subframe Formulas for S4-type Intuitionistic Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "99 - 105" }