到達可能関係の推移閉包を扱う様相論理のカノニカルモデルについて