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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/s11225-006-8308-2 | Studia Logica |
Keywords | Field | DocType |
modal logic,semisimple varieties | Interior algebra,Modal μ-calculus,Accessibility relation,Normal modal logic,Multimodal logic,Pure mathematics,Modal logic,Mathematics,Transitive relation,S5 | Journal |
Volume | Issue | Citations |
83 | 1-3 | 7 |
PageRank | References | Authors |
0.90 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomasz Kowalski | 1 | 124 | 24.06 |
Marcus Kracht | 2 | 260 | 37.34 |