BIROn - Birkbeck Institutional Research Online

    An elementary construction for a non-elementary procedure

    Marx, M. and Mikulás, Szabolcs (2002) An elementary construction for a non-elementary procedure. Studia Logica 72 (2), pp. 253-263. ISSN 0039-3215.

    Full text not available from this repository.

    Abstract

    We consider the problem of the product finite model property for binary products of modal logics. First we give a new proof for the product finite model property of the logic of products of Kripke frames, a result due to Shehtman. Then we modify the proof to obtain the same result for logics of products of Kripke frames satisfying any combination of seriality, reflexivity and symmetry. We do not consider the transitivity condition in isolation because it leads to infinity axioms when taking products.

    Metadata

    Item Type: Article
    Keyword(s) / Subject(s): modal logic, product of modal logics, finite model property, decidability
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 25 Jul 2013 15:54
    Last Modified: 09 Aug 2023 12:33
    URI: https://eprints.bbk.ac.uk/id/eprint/7818

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    198Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item