BIROn - Birkbeck Institutional Research Online

    On the independent axiomatizability of modal and intermediate logics

    Chagrov, A.V. and Zakharyaschev, Michael (1995) On the independent axiomatizability of modal and intermediate logics. Journal of Logic and Computation 5 (3), pp. 287-302. ISSN 0955-792X.

    Full text not available from this repository.


    This paper gives a solution to the old independent axiomatizability problem by presenting normal modal logics above K4 and Grz and an intermediate logic without independent axiomatizations. Incidentally Blok's problem is solved: the lattices of varieties of topological Boolean and pseudo-Boolean algebras are not strongly atomic. We also study the relationship between independent axiomatizability of intermediate logics and their modal companions above S4.


    Item Type: Article
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 08 Nov 2021 19:36
    Last Modified: 08 Nov 2021 19:36


    Activity Overview

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item