The following pages link to (Q4250040):
Displaying 11 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Semantic forgetting in expressive description logics (Q831928) (← links)
- Voting by eliminating quantifiers (Q1037605) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- General domain circumscription and its first-order reduction (Q4632291) (← links)
