BIROn - Birkbeck Institutional Research Online

    Tableau calculus for local cubic modal logic and it's implementation

    Marx, M. and Mikulas, Szabolcs and Schlobach, S. (1999) Tableau calculus for local cubic modal logic and it's implementation. Logic Journal of the IGPL 7 (6), pp. 755-778. ISSN 1367-0751.

    Full text not available from this repository.

    Abstract

    In this paper we investigate the two-variable fragment of modal logics of relations interpreted on local squares, LC2. A labelled tableau calculus is presented and its soundness and completeness are proven. Further, a termination proof enables us to use the calculus as a theorem prover. The prover has been implemented in Prolog, and we give a short system description. The paper also contains examples for how the system works including translations from other modal logics into LC2.

    Metadata

    Item Type: Article
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 13 Jul 2021 14:53
    Last Modified: 13 Jul 2021 14:53
    URI: https://eprints.bbk.ac.uk/id/eprint/45083

    Statistics

    Downloads
    Activity Overview
    0Downloads
    12Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item