@article{BSL20_1_Goranko,
author = {Valentin GORANKO},
title = {Proving Unprovability in Some Normal Modal Logic},
journal = {Bulletin of the Section of Logic},
volume = {20},
number = {1},
year = {1991},
pages = {23--29}
}