The following pages link to (Q4938431):
Displaying 8 items.
- The many faces of interpolation (Q1024113) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- (Q5232911) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
