2 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
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-…
Parity Games and Automata for Game Logic (Extended Version)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti +1
Parikh's game logic is a PDL-like fixpoint logic interpreted on monotone neighbourhood frames that represent the strategic power of players in determined two-player games. Game log…
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
We present a coinductive framework for defining infinitary analogues of equational reasoning and rewriting in a uniform way. We define the relation =^infty, notion of infinitary eq…