Pages that link to "Item:Q3656774"
From MaRDI portal
The following pages link to A Graph-theoretic Account of Logics (Q3656774):
Displaying 23 items.
- On a graph approach to modal logics (Q281163) (← links)
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Graphs of plural cuts (Q383359) (← links)
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- Importing logics (Q694499) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Towards a navigational logic for graphical structures (Q1708184) (← links)
- On combined connectives (Q1941724) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Graph logics with rational relations (Q2846573) (← links)
- Resource graphs and countermodels in resource logics (Q2848062) (← links)
- Deduction graphs with universal quantification (Q2870317) (← links)
- A substructural logic for layered graphs (Q2937700) (← links)
- Graph Logics with Rational Relations and the Generalized Intersection Problem (Q2986787) (← links)
- (Q3112294) (← links)
- (Q3373734) (← links)
- On the Expressive Power of Graph Logic (Q3613359) (← links)
- A term-graph clausal logic: completeness and incompleteness results ★ (Q3643364) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- (Q4440829) (← links)
- (Q4553286) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Fregean Logical Graphs (Q6485478) (← links)