2 citations · 3 across the 7 of their papers we have counts for
5 papers · 1 filter
Algebraic Presentation of Semifree Monads
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Monads and their composition via distributive laws have many applications in program semantics and functional programming. For many interesting monads, distributive laws fail to ex…
Logic-Induced Bisimulations
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
We define a new logic-induced notion of bisimulation (called -bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show t…
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…