2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.LO2023★ 2 cited
Finitely accessible arboreal adjunctions and Hintikka formulae
Luca Reggio, Colin Riba
Arboreal categories provide an axiomatic framework in which abstract notions of bisimilarity and back-and-forth games can be defined. They act on extensional categories, typically…
cs.LO2019
A Functional (Monadic) Second-Order Theory of Infinite Trees
Anupam Das, Colin Riba
This paper presents a complete axiomatization of Monadic Second-Order Logic (MSO) over infinite trees. MSO on infinite trees is a rich system, and its decidability ("Rabin's Tree T…
cs.LO2018
A Curry-Howard Approach to Church's Synthesis
Cécilia Pradic, Colin Riba
Church's synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Or…