社会選択理論を様相論理で形式化する