The following pages link to On the strength and scope of DLS (Q3647241):
Displayed 7 items.
- 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)
- 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)