Even more about the lattice of tense logics
暂无分享,去创建一个
[1] R. McKenzie. Equational bases and nonmodular lattice varieties , 1972 .
[2] Steven K. Thomason,et al. Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.
[3] W. Rautenberg. Der Verband der normalen verzweigten Modallogiken , 1977 .
[4] W. Blok. On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics , 1978 .
[5] Wolfgang Rautenberg,et al. Klassische und nichtklassische Aussagenlogik , 1979 .
[6] P. Köhler,et al. Varieties with equationally definable principal congruences , 1980 .
[7] Wolfgang Rautenberg,et al. Splitting lattices of logics , 1980, Arch. Math. Log..
[8] W. Blok,et al. On the structure of varieties with equationally definable principal congruences I , 1982 .
[9] John P. Burgess,et al. Basic Tense Logic , 1984 .
[10] Fabio Bellissima,et al. On the lattice of extensions of the modal logics KAltn , 1988, Arch. Math. Log..
[11] Robert Goldblatt,et al. Varieties of Complex Algebras , 1989, Ann. Pure Appl. Log..
[12] G. Kalmbach. On Orthomodular Lattices , 1990 .
[13] Marcus Kracht,et al. An almost general splitting theorem for modal logic , 1990, Stud Logica.
[14] W. Blok,et al. On the structure of varieties with equationally definable principal congruences IV , 1994 .