Varieties of Complex Algebras

[1]  Andrzej Grzegorczyk.  Some relational systems and the associated topological spaces , 1967 .

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

[3]  E. J. Lemmon,et al.  Algebraic semantics for modal logics I , 1966, Journal of Symbolic Logic (JSL).

[4]  Hilary A. Priestley,et al.  Ordered Sets and Duality for Distributive Lattices , 1984 .

[5]  Willem J. Blok,et al.  The lattice of modal logics: an algebraic investigation , 1980, Journal of Symbolic Logic.

[6]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[7]  S. K. Thomason,et al.  An incompleteness theorem in modal logic , 1974 .

[8]  Paul R. Halmos,et al.  Algebraic logic, I. Monadic boolean algebras , 1956 .

[9]  Melvin Hochster,et al.  Prime ideal structure in commutative rings , 1969 .

[10]  A. Tarski,et al.  The Algebra of Topology , 1944 .

[11]  Johan van Benthem,et al.  Canonical Modal Logics and Ultrafilter Extensions , 1979, J. Symb. Log..

[12]  Solomon Feferman,et al.  Persistent and invariant formulas for outer extensions , 1968 .

[13]  Kit Fine,et al.  An incomplete logic containing S4 , 1974 .

[14]  Kit Fine,et al.  Normal forms in modal logic , 1975, Notre Dame J. Formal Log..

[15]  S. K. Thomason,et al.  AXIOMATIC CLASSES IN PROPOSITIONAL MODAL LOGIC , 1975 .

[16]  A. Tarski.  Contributions to the theory of models. III , 1954 .

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

[18]  Michael Dummett,et al.  Modal Logics Between S4 and S5 , 1967 .

[19]  J.F.A.K. van Benthem,et al.  Modal Correspondence Theory , 1977 .

[20]  M. Stone.  Topological representations of distributive lattices and Brouwerian logics , 1938 .

[21]  A. Tarski,et al.  Cylindric Algebras. Part II , 1988 .

[22]  J.F.A.K. van Benthem.  Modal formulas are either elementary or not ΣΔ-elementary , 1976 .

[23]  Johan van Benthem.  A Note on Modal Formulae and Relational Properties , 1975, J. Symb. Log..

[24]  Hilary A. Priestley,et al.  Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[25]  E. Lemmon,et al.  Modal Logics Between S 4 and S 5 , 1959 .

[26]  J. Benthem.  Some kinds of modal completeness , 1980 .

[27]  M. Stone.  The theory of representations for Boolean algebras , 1936 .

[28]  G. Hansoul,et al.  A duality for Boolean algebras with operators , 1983 .

[29]  R. Goldblatt.  Metamathematics of modal logic , 1974, Bulletin of the Australian Mathematical Society.

[30]  Roger D. Maddux,et al.  Equations not preserved by complete extensions , 1982 .

[31]  C. Smoryński,et al.  Fixed point algebras , 1982 .

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

[33]  Robert Ian Goldblatt,et al.  Grothendieck Topology as Geometric Modality , 1981, Math. Log. Q..

[34]  Robert Goldblatt,et al.  First-order definability in modal logic , 1975, Journal of Symbolic Logic.