様相論理における妥当性