next up previous
Next: About this document Up: On the Model Theory Previous: Formal treatment of the


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

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.

Yasuko Kitajima
Fri Jun 20 13:39:43 PDT 1997