research
∙
07/18/2023
A Modal Logic with n-ary Relations Over Paths: Comonadic Semantics and Expressivity
Game comonads give a categorical semantics for comparison games in Finit...
share
research
∙
04/20/2023
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
We introduce CPDL+, a family of expressive logics rooted in Propositiona...
research
∙
05/17/2018
Learning is Compiling: Experience Shapes Concept Learning by Combining Primitives in a Language of Thought
Recent approaches to human concept learning have successfully combined t...
research
∙
03/04/2013