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
Named Models in Coalgebraic Hybrid Logic - MaRDI portal

Named Models in Coalgebraic Hybrid Logic (Q3113787)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Named Models in Coalgebraic Hybrid Logic
scientific article

    Statements

    author
    Lutz Schröder
    0 references
    Dirk Pattinson
    0 references
    publication date
    23 January 2012
    0 references
    zbMATH Keywords
    logic in computer science
    0 references
    semantics
    0 references
    deduction
    0 references
    modal logic
    0 references
    coalgebra
    0 references
    title
    Named Models in Coalgebraic Hybrid Logic (English)
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T27
    0 references
    03B70
    0 references
    03B45
    0 references
    68Q55
    0 references
    zbMATH DE Number
    5999734
    0 references
    OpenAlex ID
    W2113271515
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3113787&oldid=39267282"
    Powered by MediaWiki