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 , ISSN 0022-4812. (In Press)

    [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: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Michael Zakhariyashchev
    Date Deposited: 03 Apr 2019 14:49
    Last Modified: 09 Jun 2021 18:42
    URI: https://eprints.bbk.ac.uk/id/eprint/26985

    Statistics

    Downloads
    Activity Overview
    182Downloads
    95Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item