References

1

G. E. Hughes and M. J. Creswell. An Introduction to Modal Logic. Methuen and Co., Ltd., London, 1968.

2

M. Sato. A study of kripke-type models for some modal logics by gentzen's sequential method. Technical Report Publication 13, RIMS, Kyoto University, 1977.