Thomas Ågotnes

Reasoning about strategic voting in modal logic quickly becomes undecidable

2021 · Journal of Logic and Computation

Abstract In this paper, we show that modal logics for reasoning about social choice quickly become undecidable. In particular, we study modal logics that can be used to reason about situations involving both actual and …