Pages that link to "Item:Q4635596"
From MaRDI portal
The following pages link to Effective interpolation and preservation in guarded logics (Q4635596):
Displaying 6 items.
- Interpolation and definability in guarded fragments (Q1604801) (← links)
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703755) (← links)