Modal logic and the approximation induction principle (Q2883116)

From MaRDI portal
Revision as of 19:05, 15 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q513184)
scientific article
Language Label Description Also known as
English
Modal logic and the approximation induction principle
scientific article

    Statements

    title
    Modal logic and the approximation induction principle (English)
    0 references
    author
    Maciej Gazda
    0 references
    publication date
    11 May 2012
    0 references
    zbMATH DE Number
    6033364
    0 references
    zbMATH Keywords
    modal logic
    0 references
    Hennessy-Milner theorem
    0 references
    bisimulations
    0 references
    process equivalence
    0 references
    finite preorders
    0 references
    approximation induction principle
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2883116&oldid=21407554"
    Powered by MediaWiki