Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras

This publication has 8 references indexed in Scilit:

• The McKinsey axiom is not canonical
  The Journal of Symbolic Logic, 1991
• Algebraization of quantifier logics, an introductory overview
  Studia Logica, 1991
• Varieties of complex algebras
  Annals of Pure and Applied Logic, 1989
• A new proof of Sahlqvist's theorem on modal definability and completeness
  The Journal of Symbolic Logic, 1989
• Some varieties containing relation algebras
  Transactions of the American Mathematical Society, 1982
• Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
  Published by Elsevier ,1975
• Extending Boolean operations
  Pacific Journal of Mathematics, 1970
• Boolean Algebras with Operators. Part I
  American Journal of Mathematics, 1951