A modular bisimulation characterisation for fragments of hybrid logic (Q6464766)

From MaRDI portal
Revision as of 11:18, 10 July 2024 by Import240710060729 (talk | contribs) (Added link to MaRDI item.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 902390052
Language Label Description Also known as
English
A modular bisimulation characterisation for fragments of hybrid logic
scientific article; zbMATH DE number 902390052

    Statements

    publication date
    22 December 2023
    0 references
    arXiv classification
    math.LO
    0 references
    author
    Guillermo Badia
    0 references
    Daniel Găină
    0 references
    Alex Knapp
    0 references
    Tomasz Kowalski
    0 references
    Martin Wirsing
    0 references

    Identifiers

    arXiv ID
    2312.14661
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6464766&oldid=36164669"
    Powered by MediaWiki