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
Axiomatizations of team logics - MaRDI portal

Axiomatizations of team logics (Q2636536)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiomatizations of team logics
scientific article

    Statements

    title
    Axiomatizations of team logics (English)
    0 references
    author
    Martin Lück
    0 references
    publication date
    5 June 2018
    0 references
    zbMATH Keywords
    dependence logic
    0 references
    team logic
    0 references
    axiomatization
    0 references
    completeness
    0 references
    propositional team logic
    0 references
    modal team logic
    0 references
    cites work
    Q4050122
    0 references
    Q3408862
    0 references
    Q5015279
    0 references
    Q5732647
    0 references
    Q4732440
    0 references
    Q4636302
    0 references
    Q4599513
    0 references
    Q3446107
    0 references

    Identifiers

    zbMATH DE Number
    6880857
    0 references
    OpenAlex ID
    W2795306477
    0 references
    arXiv ID
    1602.05040
    0 references
    Wikidata QID
    Q129733936
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2636536&oldid=37862663"
    Powered by MediaWiki