Relating structure and power: Comonadic semantics for computational resources

DOI10.1093/LOGCOM/EXAB048MaRDI QIDQ5158366zbMATH OpenOpenAlexFDO

Authors Samson Abramsky, Nihil Shah

Publication date 21 October 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2018/9669/

zbMATH Keywords

finite model theorycombinatorial gamesbisimulationcomonadspebble gamescoKleisli categoryEhrenfeucht-Fraïssé gamescoalgebras of a comonad

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Relating structure and power: comonadic semantics for computational resources
• Relating structure and power: comonadic semantics for computational resources (extended abstract)
• On a power of relational structures
• Cohesive powers of computable structures
• scientific article; zbMATH DE number 1912087
• scientific article; zbMATH DE number 431759
• On abstract resource semantics and computability logic
• Comonadic notions of computation
• Hypercompositional structures from the computer theory
• Structural rules and resource control in logic and computation

Cited in

(19)

• Arboreal categories and equi-resource homomorphism preservation theorems
• Arboreal Categories: An Axiomatic Theory of Resources
• The pebble-relation comonad in finite model theory
• Concurrent games over relational structures: the origin of game comonads
• Monoidal Width
• A categorical account of composition methods in logic
• Linear arboreal categories
• Arboreal categories and resources
• Structure and Power: an Emerging Landscape
• Limitations of game comonads for invertible-map equivalence via homomorphism indistinguishability
• Going deep and going wide: counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
• Relating structure and power: comonadic semantics for computational resources (extended abstract)
• Relating structure and power: comonadic semantics for computational resources
• The pebble-relation comonad in finite model theory
• Existential and positive games: a comonadic and axiomatic view
• Comonadic semantics for guarded fragments
• The pebbling comonad in finite model theory
• Modal logic with relations over paths: a theoretical development through comonadic semantics
• Discrete density comonads and graph parameters

This page was built for publication: Relating structure and power: Comonadic semantics for computational resources

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