Pages that link to "Item:Q3656775"
From MaRDI portal
The following pages link to On Graph-theoretic Fibring of Logics (Q3656775):
Displaying 14 items.
- On a graph approach to modal logics (Q281163) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Disjoint fibring of non-deterministic matrices (Q1685929) (← links)
- Fibring non-truth-functional logics: Completeness preservation (Q1868482) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
- Preservation by fibring of the finite model property (Q3006122) (← links)
- A Graph-theoretic Account of Logics (Q3656774) (← links)
- (Q4263083) (← links)
- (Q4279085) (← links)
- Decidability and complexity of fibred logics without shared connectives (Q4644566) (← links)
- (Q4708918) (← links)
- Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems (Q5460205) (← links)
- Fregean Logical Graphs (Q6485478) (← links)