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
Proof Analysis in Deontic Logics - MaRDI portal

Proof Analysis in Deontic Logics (Q2879296)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof Analysis in Deontic Logics
scientific article

    Statements

    title
    Proof Analysis in Deontic Logics (English)
    0 references
    author
    Eugenio Orlandelli
    0 references
    publication date
    8 September 2014
    0 references
    zbMATH Keywords
    deontic logics
    0 references
    sequent calculi
    0 references
    proof analysis
    0 references
    structural rules
    0 references
    non-normal modal logics
    0 references

    Identifiers

    zbMATH DE Number
    6341519
    0 references
    OpenAlex ID
    W2215786367
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2879296&oldid=31352821"
    Powered by MediaWiki