IsA
様相論理