4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Modal Fragments
Nick Bezhanishvili, Balder ten Cate, Arunavo Ganguly +1
We survey systematic approaches to basis-restricted fragments of propositional logic and modal logics, with an emphasis on how expressive power and computational complexity depend…
cs.PL2024★ 4 cited
Algebras for Deterministic Computation Are Inherently Incomplete
Balder ten Cate, Tobias Kappé
Kleene Algebra with Tests (KAT) provides an elegant algebraic framework for describing non-deterministic finite-state computations. Using a small finite set of non-deterministic pr…