Monads and their composition via distributive laws have many application...
We define a new logic-induced notion of bisimulation (called
ρ-bisimulat...
Stone-type dualities provide a powerful mathematical framework for study...
We present a proof of Arrow's theorem from social choice theory that use...
Game logic was introduced by Rohit Parikh in the 1980s as a generalisati...