Refinement modal logic (Q476194)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Refinement modal logic
scientific article

    Statements

    title
    Refinement modal logic (English)
    0 references
    author
    Laura Bozzelli
    0 references
    Tim French
    0 references
    James Hales
    0 references
    Sophie Pinchinat
    0 references
    Hans P. van Ditmarsch
    0 references
    publication date
    28 November 2014
    0 references
    cites work
    Q3992552
    0 references
    Q5692280
    0 references
    Q3396636
    0 references
    Q3086937
    0 references
    Q2744124
    0 references
    Q3028984
    0 references
    Q3336675
    0 references
    Q4845472
    0 references
    Q3086938
    0 references
    Q5419886
    0 references
    Q4525781
    0 references
    Module checking
    0 references
    Q3085167
    0 references
    Infinite Games
    0 references
    Q4301161
    0 references
    Q4739288
    0 references
    Q5494230
    0 references
    Quantifying Notes
    0 references
    Q2904048
    0 references
    Q4501666
    0 references
    Q4301167
    0 references

    Identifiers

    zbMATH DE Number
    6375068
    0 references
    OpenAlex ID
    W2073942343
    0 references
    arXiv ID
    1202.3538
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q476194&oldid=35425663"
    Powered by MediaWiki