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
Bisimulation for Neighbourhood Structures - MaRDI portal

Bisimulation for Neighbourhood Structures (Q3612496)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bisimulation for Neighbourhood Structures
scientific article

    Statements

    title
    Bisimulation for Neighbourhood Structures (English)
    0 references
    author
    Helle Hvid Hansen
    0 references
    Clemens Kupke
    0 references
    Eric Pacuit
    0 references
    publication date
    10 March 2009
    0 references
    zbMATH Keywords
    neighbourhood semantics
    0 references
    non-normal modal logic
    0 references
    bisimulation
    0 references
    behavioural equivalence
    0 references
    invariance
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B45
    0 references
    03C90
    0 references
    03G30
    0 references
    18C10
    0 references
    18C50
    0 references
    zbMATH DE Number
    5527243
    0 references
    OpenAlex ID
    W2113157988
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3612496&oldid=32915675"
    Powered by MediaWiki