Game comonads give a categorical semantics for comparison games in Finit...
We introduce CPDL+, a family of expressive logics rooted in Propositiona...
Recent approaches to human concept learning have successfully combined t...
In this paper, we present a theoretical effort to connect the theory of
...