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: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Michael Zakharyaschev
    Date Deposited: 03 Apr 2019 14:49
    Last Modified: 28 Jul 2019 10:53
    URI: http://eprints.bbk.ac.uk/id/eprint/26985

    Statistics

    Downloads
    Activity Overview
    69Downloads
    33Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item