BIROn - Birkbeck Institutional Research Online

    All finitely axiomatizable normal extensions of K4.3 are decidable

    Zakharyaschev, Michael and Alekseev, A. (1995) All finitely axiomatizable normal extensions of K4.3 are decidable. Mathematical Logic Quarterly 41 (1), pp. 15-23. ISSN 0942-5616.

    Full text not available from this repository.


    We use the apparatus of the canonical formulas introduced by Zakharyaschev [10] to prove that all finitely axiomatizable normal modal logics containing K4.3 are decidable, though possibly not characterized by classes of finite frames. Our method is purely frame-theoretic. Roughly, given a normal logic L above K4.3, we enumerate effectively a class of (possibly infinite) frames with respect to which L is complete, show how to check effectively whether a frame in the class validates a given formula, and then apply a Harropstyle argument to establish the decidability of L, provided of course that it has finitely many axioms.


    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 08 Nov 2021 19:41
    Last Modified: 09 Aug 2023 12:52


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item