2 citations · 2 across the 4 of their papers we have counts for
5 papers · 1 filter
A categorical account of composition methods in logic (extended version)
Tomáš Jakl, Dan Marsden, Nihil Shah
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of sim…
A categorical account of composition methods in logic
Tomáš Jakl, Dan Marsden, Nihil Shah
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of sim…
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Tomáš Jakl, Dan Marsden, Nihil Shah
Game comonads, introduced by Abramsky, Dawar and Wang, and developed by Abramsky and Shah, give a categorical semantics for model comparison games. We present an axiomatic account…
Relating Structure and Power: Extended Version
Samson Abramsky, Nihil Shah
Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures. In…
Relating Structure and Power: Comonadic Semantics for Computational Resources
Samson Abramsky, Nihil Shah
Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures. In…