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
Logics for knowability - MaRDI portal

Logics for knowability (Q6484823)

From MaRDI portal
scientific article; zbMATH DE number 7589382
Language Label Description Also known as
English
Logics for knowability
scientific article; zbMATH DE number 7589382

    Statements

    title
    Logics for knowability (English)
    0 references
    author
    Mo Liu
    0 references
    Jie Fan
    0 references
    Hans P. van Ditmarsch
    0 references
    Louwe B. Kuijer
    0 references
    publication date
    21 September 2022
    0 references
    zbMATH Keywords
    knowability
    0 references
    public announcement logic
    0 references
    arbitrary public announcement logic
    0 references
    expressivity
    0 references
    axiomatizations
    0 references
    decidability
    0 references

    Identifiers

    DOI
    10.12775/llp.2021.018
    0 references
    zbMATH DE Number
    7589382
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6484823&oldid=37940583"
    Powered by MediaWiki