The following pages link to On the strength and scope of DLS (Q3647241):
Displaying 12 items.
- Progress in DLA research (Q1896519) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- IV. Semantic extensions of SQEMA (Q3643312) (← links)
- Towards incorporating background theories into quantifier elimination (Q3643319) (← links)
- The DL-Lite Family and Relations (Q3651482) (← links)
- (Q4038093) (← links)
- (Q4713370) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- (Q5020549) (← links)
- Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions (Q6152662) (← links)
- Polynomial-time checking of generalized Sahlqvist syntactic shape (Q6639733) (← links)
