|
|||||
|
|
Semisimple Varieties of Modal Algebras |
|
| Authors: | Tomasz Kowalski Marcus Kracht |
| Affiliation: | (1) Research School of Information Sciences and Engineering, Australian National University, Canberra, ACT 0200, Australia;(2) Department of Linguistics, UCLA, 3125 Campbell Hall, 405 Hilgard Avenue, Los Angeles, 90095-1543, CA, USA |
| Abstract: | 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 [4] (based on joint work by the two authors) but the proof was fatally flawed. Dedicated to the memory of Willem Johannes Blok |
| Keywords: | modal logic semisimple varieties |
| 本文献已被 SpringerLink 等数据库收录！ | |