様相演算子が一般化された様相論理