On the canonicity of Sahlqvist identities
Author:
- 1 January 1994
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 53 (4) , 473-491
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The McKinsey axiom is not canonicalThe Journal of Symbolic Logic, 1991
- Varieties of complex algebrasAnnals of Pure and Applied Logic, 1989
- The lattice of modal logics: an algebraic investigationThe Journal of Symbolic Logic, 1980
- Completeness and Correspondence in the First and Second Order Semantics for Modal Logic1975
- Some Connections Between Elementary and Modal Logic1975
- A Remark on Boolean Algebras with OperatorsAmerican Journal of Mathematics, 1952
- Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 1951
- Some theorems about the sentential calculi of Lewis and HeytingThe Journal of Symbolic Logic, 1948