On the Expressive Power of Graph Logic
From MaRDI portal
Recommendations
- Expressiveness and complexity of graph logic
- A graph calculus for predicate logic
- A graph-theoretic account of logics
- Graph logics with rational relations
- Logic beyond formulas: a proof system on graphs
- scientific article; zbMATH DE number 177436
- scientific article; zbMATH DE number 638303
- Intuitionistic layered graph logic
- On the equivalence and range of applicability of graph-based representations of logic programs.
- Graph theoretical structures in logic programs and default theories
Cited in
(21)- The expressibility of fragments of hybrid graph logic on finite digraphs
- Graph logics with rational relations
- Graph Logics with Rational Relations and the Generalized Intersection Problem
- Where first-order and monadic second-order logic coincide
- Expressive power of monadic logics on words, trees, pictures, and graphs
- A logic on subobjects and recognizability
- Relative expressiveness of the edge/adjacency language for graph theory
- On the Almighty Wand
- Separating Graph Logic from MSO
- On Graph-theoretic Fibring of Logics
- scientific article; zbMATH DE number 1059243 (Why is no real title available?)
- scientific article; zbMATH DE number 6970800 (Why is no real title available?)
- Separation logics and modalities: a survey
- Expressive completeness of separation logic with two variables and no separating conjunction
- Where first-order and monadic second-order logic coincide
- On graph calculi for multi-modal logics
- Graph theoretical structures in logic programs and default theories
- Expressive completeness of separation logic in block-based cloud storage systems
- On graph reasoning
- Expressiveness and complexity of graph logic
- On expressiveness of the chain graph interpretations
This page was built for publication: On the Expressive Power of Graph Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613359)
