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
ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS - MaRDI portal

ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261)

From MaRDI portal
scientific article
Language Label Description Also known as
English
ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
scientific article

    Statements

    title
    ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (English)
    0 references
    publication date
    1990
    0 references
    zbMATH Keywords
    modal logics
    0 references
    Peano arithmetic
    0 references
    provability logics
    0 references
    extensions of PA
    0 references
    author
    Lev D. Beklemishev
    0 references

    Identifiers

    zbMATH DE Number
    4154407
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3483261&oldid=27816827"
    Powered by MediaWiki