Varieties of logical matrices

[1]  Steven K. Thomason,et al.  Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.

[2]  L. Maksimova.  Pretabular extensions of LewisS4 , 1975 .

[3]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[4]  Robert V. Kohn,et al.  Some Post-complete extensions of S2 and S3 , 1977, Notre Dame J. Formal Log..

[5]  S. K. Thomason,et al.  The logical consequence relation of propositional tense logic , 1975, Math. Log. Q..

[6]  K. Segerberg.  That Every Extension Of S4.3 is Normal , 1975 .

[7]  L. Maksimova.  Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras , 1979 .

[8]  R. E. Johnson.  The extended centralizer of a ring over a module , 1951 .

[9]  Alfred Tarski,et al.  Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[10]  H. Ono.  Kripke Models and Intermediate Logics , 1970 .

[11]  R. Solovay.  Provability interpretations of modal logic , 1976 .

[12]  Silvio Valentini,et al.  Post Completeness and Free Algebras , 1980, Math. Log. Q..

[13]  Dimiter Vakarelov.  Intuitionistic modal logics incompatible with the law of the excluded middle , 1981 .

[14]  Krister Segerberg,et al.  An essay in classical modal logic , 1971 .

[15]  L. Maksimova.  Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras , 1977 .

[16]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[17]  W. Blok.  Varieties of interior algebras , 1976 .

[18]  Kit Fine,et al.  Logics containing K4. Part I , 1974, Journal of Symbolic Logic.