@INPROCEEDINGS { Rsds3507,
author = {Morikawa, Osamu}, 
title = {A Fuzzy Modal Logic of Gentzen Style}, 
booktitle = {Proceedings of the Fourth International Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery}, 
conference = {International Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery}, 
pages = {44--46}, 
publisher = {Japanese Research Group on Rough Sets}, 
address = {Tokyo, Japan}, 
month = {November}, 
year = 1996, 
editor = {Tsumoto, Shusaku and Kobayashi, Satoshi and Yokomori, Takashi and Tanaka, Hiroshi and Nakamura, Akira}, 
isbn = {4-947717-01-7}, 
abstract = {This paper proposes a fuzzy modal logic H in which the interpretation of well-formed formulas (for short, wffs) is based on a compact Hausdorff space. After giving syntax and semantics of H, we present a formal system in Gentzen style. Then we the soundness as well as the completeness.}, 
keywords = {fuzzy modal logic, continuous modal logic, sequential formulation, }, 
}