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
Coalgebraic Geometric Logic: Basic Theory - MaRDI portal

Coalgebraic Geometric Logic: Basic Theory (Q5060182)

From MaRDI portal
scientific article; zbMATH DE number 7639906
Language Label Description Also known as
English
Coalgebraic Geometric Logic: Basic Theory
scientific article; zbMATH DE number 7639906

    Statements

    title
    Coalgebraic Geometric Logic: Basic Theory (English)
    0 references
    author
    Nick Bezhanishvili
    0 references
    Jim de Groot
    0 references
    Yde Venema
    0 references
    publication date
    9 January 2023
    0 references
    zbMATH Keywords
    coalgebra
    0 references
    geometric logic
    0 references
    modal logic
    0 references
    topology
    0 references
    cites work
    Q4693062
    0 references
    Vietoris Bisimulations
    0 references
    Q3927875
    0 references
    Q3934450
    0 references
    Q3867808
    0 references
    Positive modal logic
    0 references
    Q5104711
    0 references
    Q2847811
    0 references
    Q3965241
    0 references
    Q3702938
    0 references
    Q4783274
    0 references
    Q2847816
    0 references
    Stone coalgebras
    0 references
    Q5419889
    0 references
    Q5639839
    0 references
    Coalgebraic logic
    0 references
    Q2847819
    0 references
    Q4459228
    0 references
    Q3994458
    0 references

    Identifiers

    zbMATH DE Number
    7639906
    0 references
    OpenAlex ID
    W4313258632
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5060182&oldid=37477156"
    Powered by MediaWiki