@article{BSL9_3_Hawranek, author = {Jacek HAWRANEK}, title = {A Matrix Adequate for $S5$ with $MP$ and $RN$}, journal = {Bulletin of the Section of Logic}, volume = {9}, number = {3}, year = {1980}, pages = {122--124} }