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
Quantificational modal logic with sequential Kripke semantics - MaRDI portal

Quantificational modal logic with sequential Kripke semantics (Q3647226)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantificational modal logic with sequential Kripke semantics
scientific article

    Statements

    title
    Quantificational modal logic with sequential Kripke semantics (English)
    0 references
    author
    Stefano Borgo
    0 references
    publication date
    30 November 2009
    0 references
    Mathematics Subject Classification ID
    03B45
    0 references
    68T27
    0 references
    68T42
    0 references
    zbMATH DE Number
    5640506
    0 references
    zbMATH Keywords
    quantificational modality
    0 references
    dynamic logic
    0 references
    Henkin quantifiers
    0 references
    modal logic
    0 references
    multiagent systems
    0 references
    OpenAlex ID
    W1965742490
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3647226&oldid=35140627"
    Powered by MediaWiki