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
Game semantics for constructive modal logic - MaRDI portal

Game semantics for constructive modal logic (Q2142094)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Game semantics for constructive modal logic
scientific article

    Statements

    title
    Game semantics for constructive modal logic (English)
    0 references
    author
    Matteo Acclavio
    0 references
    Davide Catta
    0 references
    Lutz Straßburger
    0 references
    publication date
    25 May 2022
    0 references

    Identifiers

    zbMATH DE Number
    7532530
    0 references
    OpenAlex ID
    W3198184098
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2142094&oldid=36809261"
    Powered by MediaWiki