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
Craig interpolation of epistemic logics with distributed knowledge - MaRDI portal

Craig interpolation of epistemic logics with distributed knowledge (Q2206783)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Craig interpolation of epistemic logics with distributed knowledge
scientific article

    Statements

    title
    Craig interpolation of epistemic logics with distributed knowledge (English)
    0 references
    author
    Ryo Murai
    0 references
    Katsuhiko Sano
    0 references
    publication date
    26 October 2020
    0 references
    zbMATH Keywords
    epistemic logic
    0 references
    distributed knowledge
    0 references
    sequent calculus
    0 references
    Craig interpolation theorem
    0 references

    Identifiers

    zbMATH DE Number
    7266054
    0 references
    OpenAlex ID
    W3004383009
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2206783&oldid=32732358"
    Powered by MediaWiki