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
Unification in modal logic - MaRDI portal

Unification in modal logic (Q2284172)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unification in modal logic
scientific article

    Statements

    title
    Unification in modal logic (English)
    0 references
    author
    Philippe Balbiani
    0 references
    publication date
    14 January 2020
    0 references
    zbMATH Keywords
    modal logics
    0 references
    unification problem
    0 references
    elementary unification
    0 references
    unification with constants
    0 references
    computability of unification
    0 references
    unification type
    0 references

    Identifiers

    zbMATH DE Number
    7150803
    0 references
    OpenAlex ID
    W2912778920
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2284172&oldid=32997341"
    Powered by MediaWiki