We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems

Abstract: 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 of Feferman-Vaught-Mostowski (FVM) composition theorems within the game comonad framework, parameterized by the model comparison game. In a uniform way, we produce compositionality results for the logic in question, and its positive existential and counting quantifier variants.
Secondly, we extend game comonads to the second order setting, specifically in the case of Monadic Second Order (MSO) logic. We then generalize our FVM theorems to the second order case. We conclude with an abstract formulation of Courcelle's algorithmic meta-theorem, exploiting our earlier developments. This is instantiated to recover well-known bounded tree-width and bounded clique-width Courcelle theorems for MSO on graphs.
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
Cite as: arXiv:2205.05387 [cs.LO]
  (or arXiv:2205.05387v1 [cs.LO] for this version)

Submission history

From: Tomáš Jakl [view email]
[v1] Wed, 11 May 2022 10:23:07 GMT (121kb,D)

Link back to: arXiv, form interface, contact.