反対称性は正規様相論理では定義出来ない