Pages that link to "Item:Q3613359"
From MaRDI portal
The following pages link to On the Expressive Power of Graph Logic (Q3613359):
Displaying 20 items.
- On graph calculi for multi-modal logics (Q530865) (← links)
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- On graph reasoning (Q731892) (← links)
- Expressiveness and complexity of graph logic (Q870359) (← links)
- On expressiveness of the chain graph interpretations (Q895519) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
- Graph logics with rational relations (Q2846573) (← links)
- Graph Logics with Rational Relations and the Generalized Intersection Problem (Q2986787) (← links)
- Where First-Order and Monadic Second-Order Logic Coincide (Q2986803) (← links)
- A Logic on Subobjects and Recognizability (Q3163884) (← links)
- Relative expressiveness of the edge/adjacency language for graph theory (Q3220638) (← links)
- On the Almighty Wand (Q3540188) (← links)
- Separating Graph Logic from MSO (Q3617721) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- On the expression of graph properties in some fragments of monadic second-order logic (Q4353558) (← links)
- (Q4553286) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic (Q4635884) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- Where First-Order and Monadic Second-Order Logic Coincide (Q5278195) (← links)
