2 citations · 3 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 2 cited
The Pebble-Relation Comonad in Finite Model Theory
Yoàv Montacute, Nihil Shah
The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory. The coKleisli category of the p…
math.LO2021
Dynamic Cantor Derivative Logic
David Fernández-Duque, Yoàv Montacute
Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as -logics. Unlike logics based on the topologica…