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
Graded computation tree logic - MaRDI portal

Graded computation tree logic (Q2946674)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Graded computation tree logic
scientific article

    Statements

    title
    Graded computation tree logic (English)
    0 references
    author
    Alessandro Bianco
    0 references
    Fabio Mogavero
    0 references
    Aniello Murano
    0 references
    publication date
    17 September 2015
    0 references
    zbMATH Keywords
    Branching temporal logics
    0 references
    graded modalities
    0 references
    satisfiability
    0 references
    specification
    0 references
    mu-calculus
    0 references

    Identifiers

    zbMATH DE Number
    6483179
    0 references
    OpenAlex ID
    W2114893507
    0 references
    Wikidata QID
    Q130857643
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2946674&oldid=37880282"
    Powered by MediaWiki