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
Finite model property in weakly transitive tense logics - MaRDI portal

Finite model property in weakly transitive tense logics (Q2698279)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finite model property in weakly transitive tense logics
scientific article

    Statements

    title
    Finite model property in weakly transitive tense logics (English)
    0 references
    author
    Minghui Ma
    0 references
    Qi'an Chen
    0 references
    publication date
    21 April 2023
    0 references
    zbMATH Keywords
    finite model property
    0 references
    tense logic
    0 references
    weak transitivity
    0 references

    Identifiers

    zbMATH DE Number
    7677357
    0 references
    OpenAlex ID
    W4309194047
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2698279&oldid=37508522"
    Powered by MediaWiki