Structure and Power: an Emerging Landscape
From MaRDI portal
Recommendations
Cites work
- A note on graded modal logic
- A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem
- Abstract elementary classes and accessible categories
- An application of games to the completeness problem for formalized theories
- Bisimulation invariance and finite models
- Contextuality, Cohomology and Paradox
- Homomorphism preservation theorems
- scientific article; zbMATH DE number 3115890 (Why is no real title available?)
- scientific article; zbMATH DE number 1346360 (Why is no real title available?)
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- scientific article; zbMATH DE number 1059246 (Why is no real title available?)
- Operations with structures
- 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 sheaf-theoretic structure of non-locality and contextuality
- Tree-depth, subgraph coloring and homomorphism bounds
- Whither semantics?
Cited in
(7)- The paradox of power revisited: internal and external conflict
- scientific article; zbMATH DE number 5702489 (Why is no real title available?)
- Arboreal categories and equi-resource homomorphism preservation theorems
- Arboreal Categories: An Axiomatic Theory of Resources
- A categorical account of composition methods in logic
- Modal logic with relations over paths: a theoretical development through comonadic semantics
- No go theorems: directed containers that do not distribute over distribution monads
This page was built for publication: Structure and Power: an Emerging Landscape
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5038563)
