Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Modular sequent calculi for classical modal logics - MaRDI portal

Modular sequent calculi for classical modal logics (Q2350219)

From MaRDI portal
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=39026772"
    Powered by MediaWiki