You are not currently logged in.
Access JSTOR through your library or other institution:
Semisimple Varieties of Modal Algebras
Tomasz Kowalski and Marcus Kracht
Studia Logica: An International Journal for Symbolic Logic
Vol. 83, No. 1/3, Special Issue in Memory of Willem Johannes Blok (Jun. - Aug., 2006), pp. 351-363
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016809
Page Count: 13
Preview not available
In this paper we show that a variety of modal algebras of finite type is semisimple iff it is discriminator iff it is both weakly transitive and cyclic. This fact has been claimed already in  (based on joint work by the two authors) but the proof was fatally flawed.
Studia Logica: An International Journal for Symbolic Logic © 2006 Springer