Relating structure and power: comonadic semantics for computational resources

DOI10.4230/LIPICS.CSL.2018.2OpenAlexW2910759226MaRDI QIDQ5079721FDOQ5079721

Authors: Samson Abramsky, Nihil Shah 

Publication date: 28 May 2022

Full work available at URL: https://dx.doi.org/10.4230/LIPIcs.CSL.2018.2

Recommendations

• Relating structure and power: Comonadic semantics for computational resources
• Relating structure and power: comonadic semantics for computational resources (extended abstract)
• The pebbling comonad in finite model theory
• A Theory for Game Theories
• A convenient category for games and interaction

zbMATH Keywords

finite model theorycombinatorial gamesbisimulationcomonadspebble gamescoKleisli categoryEhrenfeucht-Fraissé gamescoalgebras of a comonad

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Dependence logic. A new approach to independence friendly logic
• Modal logic
• Title not available (Why is that?)
• Modal languages and bounded fragments of predicate logic
• Tree-depth, subgraph coloring and homomorphism bounds
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elements of finite model theory.
• Notions of computation and monads
• A calculus of communicating systems
• Treewidth. Computations and approximations
• Every two elementarily equivalent models have isomorphic ultrapowers
• Title not available (Why is that?)
• On elementary equivalence for equality-free logic
• Title not available (Why is that?)
• A note on graded modal logic
• The freedoms of (guarded) bisimulation
• Comonadic notions of computation
• Infinitary logics and 0-1 laws
• Logical hierarchies in PTIME
• Resource bisimilarity and graded bisimilarity coincide
• The pebbling comonad in finite model theory
• Title not available (Why is that?)
• Combining effects and coeffects via grading
• The quantum monad on relational structures
• Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger .

Cited In (15)

• The pebble-relation comonad in finite model theory
• Game comonads \& generalised quantifiers
• A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
• Stone duality for relations
• Monadic monadic second order logic
• Structure in machine learning
• Structure and Power: an Emerging Landscape
• Relating structure and power: Comonadic semantics for computational resources
• Relating structure and power: comonadic semantics for computational resources (extended abstract)
• The pebble-relation comonad in finite model theory
• Comonadic semantics for guarded fragments
• The pebbling comonad in finite model theory
• Polyadic sets and homomorphism counting
• Arboreal categories and equi-resource homomorphism preservation theorems
• Arboreal Categories: An Axiomatic Theory of Resources

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 Q5079721)