意味論的な様相論理の論理の強さ分析