Reasoning about Social Choice and Games in Monadic Fixed-Point Logic

Ramit Das, R. Ramanujam, Sunil Simon

Whether it be in normal form games, or in fair allocations, or in voter preferences in voting systems, a certain pattern of reasoning is common. From a particular profile, an agent…