様相論理の存在意義