Skip to main content
SpringerLink
Log in

Semisimple Varieties of Modal Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. BLOK, WlM, and DON PlGOZZI, ‘On the structure of varieties with equationally definable principal congruences, I’, Algebra Universalis, 15:195–227, 1982.

    Google Scholar 

  2. KOWALSKI, TOMASZ, ‘Semisimplicity, EDPC and Discriminator Varieties of Residu-ated Lattices’, Studio, Logica, 77:255–265, 2004.

    Article  Google Scholar 

  3. KRACHT, MARCUS, ‘An almost general splitting theorem for modal logic’, Studio, Logica, 49:455–470, 1990.

    Article  Google Scholar 

  4. KRACHT, MARCUS, Tools and Techniques in Modal Logic, Number 142 in Studies in Logic, Elsevier, Amsterdam, 1999.

    Google Scholar 

  5. RAUTENBERG, WOLFGANG, ‘Splitting lattices of logics’, Archiv fiir Mathematische Logik, 20:155–159, 1980.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research School of Information Sciences and Engineering, Australian National University, Canberra, ACT 0200, Australia

    Tomasz Kowalski

  2. Department of Linguistics, UCLA, 3125 Campbell Hall, 405 Hilgard Avenue, Los Angeles, 90095-1543, CA, USA

    Marcus Kracht

Authors
  1. Tomasz Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcus Kracht
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tomasz Kowalski.

Additional information

Dedicated to the memory of Willem Johannes Blok

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kowalski, T., Kracht, M. Semisimple Varieties of Modal Algebras. Stud Logica 83, 351–363 (2006). https://doi.org/10.1007/s11225-006-8308-2

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-8308-2

Keywords

Search

Navigation