2 citations · 3 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
econ.TH2019
Arrow's Theorem Through a Fixpoint Argument
Frank M. V. Feys, Helle Hvid Hansen
We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Specifically, we use Banach's result on the existence of a fixpoint of a contractive…
cs.LO2019
Completeness for Game Logic
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke +2
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-…