BIROn - Birkbeck Institutional Research Online

    Kripke completeness of strictly positive modal logics over meet-semilattices with operators

    Kikot, Stanislav and Kurucz, A. and Tanaka, Y. and Wolter, F. and Zakharyaschev, Michael (2019) Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Journal of Symbolic Logic 84 (2), pp. 533-588. ISSN 0022-4812.

    [img]
    Preview
    Text
    EL-JSL-final.pdf - Author's Accepted Manuscript

    Download (799kB) | Preview

    Abstract

    Our concern is the completeness problem for spi-logics, that is, sets of im- plications between strictly positive formulas built from propositional variables, conjunc- tion and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators provid- ing Birkhoff-style calculi, and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a complete- ness theory that aims to answer the question whether the two semantics define the same consequence relations for a given spi-logic.

    Metadata

    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Michael Zakhariyashchev
    Date Deposited: 03 Apr 2019 14:49
    Last Modified: 09 Aug 2023 12:46
    URI: https://eprints.bbk.ac.uk/id/eprint/26985

    Statistics

    Activity Overview
    6 month trend
    278Downloads
    6 month trend
    205Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item