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
Simplified Kripke style semantics for some very weak modal logics - MaRDI portal

Simplified Kripke style semantics for some very weak modal logics (Q3081996)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Simplified Kripke style semantics for some very weak modal logics
scientific article

    Statements

    Simplified Kripke style semantics for some very weak modal logics (English)
    0 references
    9 March 2011
    0 references
    simplified Kripke-style semantics
    0 references
    very weak modal logics
    0 references

    Identifiers