2 citations · 2 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
On the Axioms of Arboreal Categories
Tomáš Jakl, Luca Reggio
Arboreal categories were introduced as an axiomatic framework for game comonads, which provide a comonadic view on many model-comparison games in logic. We demonstrate the inadequa…
cs.LO2025
Four imprints of Belnap's useful four-valued logic in computer science
Tomáš Jakl
We review four areas of theoretical computer science which share technical or philosophical ideas with the work of Belnap on his useful four-valued logic. Perhaps surprisingly, the…
cs.LO2022★ 2 cited
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…