Modular sequent calculi for classical modal logics (Q2350219)

From MaRDI portal
Revision as of 01:19, 1 March 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Modular sequent calculi for classical modal logics
scientific article

    Statements

    title
    Modular sequent calculi for classical modal logics (English)
    0 references
    author
    David R. Gilbert
    0 references
    Paolo Maffezioli
    0 references
    publication date
    18 June 2015
    0 references
    zbMATH DE Number
    6447329
    0 references
    zbMATH Keywords
    classical modal logics
    0 references
    neighborhood semantics
    0 references
    labelled sequent systems
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2350219&oldid=24050362"
    Powered by MediaWiki