Comonadic semantics for guarded fragments

DOI10.1109/LICS52264.2021.9470594MaRDI QIDQ6651953zbMATH OpenFDO

Authors

Publication date 11 December 2024

Full work available at URL https://doi.org/10.1109/LICS52264.2021.9470594

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50)

Recommendations

• Relating structure and power: comonadic semantics for computational resources (extended abstract)
• Relating structure and power: comonadic semantics for computational resources
• Relating structure and power: Comonadic semantics for computational resources
• The pebbling comonad in finite model theory
• The pebble-relation comonad in finite model theory

Cited in

(5)

• The pebble-relation comonad in finite model theory
• Going deep and going wide: counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
• A categorical account of composition methods in logic
• Modal logic with relations over paths: a theoretical development through comonadic semantics
• Going deep and going wide: counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth

This page was built for publication: Comonadic semantics for guarded fragments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6651953)