Modular sequent calculi for classical modal logics (Q2350219)

From MaRDI portal
Revision as of 01:17, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
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 Keywords
    classical modal logics
    0 references
    neighborhood semantics
    0 references
    labelled sequent systems
    0 references

    Identifiers

    zbMATH DE Number
    6447329
    0 references
    OpenAlex ID
    W2058636048
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2350219&oldid=32754113"
    Powered by MediaWiki