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
Action emulation between canonical models - MaRDI portal

Action emulation between canonical models (Q2441479)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Action emulation between canonical models
scientific article

    Statements

    title
    Action emulation between canonical models (English)
    0 references
    author
    Floor Sietsma
    0 references
    Jan van Eijck
    0 references
    publication date
    24 March 2014
    0 references
    zbMATH Keywords
    epistemic logic
    0 references
    Kripke models
    0 references
    action models
    0 references
    bisimulation
    0 references
    action emulation
    0 references

    Identifiers

    zbMATH DE Number
    6272886
    0 references
    OpenAlex ID
    W2004547140
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2441479&oldid=39085005"
    Powered by MediaWiki