No label defined (Q4553286)

From MaRDI portal
scientific article; zbMATH DE number 6970800
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 6970800

    Statements

    0 references
    0 references
    2 November 2018
    0 references
    complex systems
    0 references
    modelling
    0 references
    graphs
    0 references
    layered graphs
    0 references
    substructural logic
    0 references
    bunched logic
    0 references
    layered graph logic
    0 references
    predicate logic
    0 references
    tableaux
    0 references
    Kripke semantics
    0 references
    algebraic semantics
    0 references
    decidability
    0 references
    finite model property
    0 references
    Stone-type duality
    0 references
    soundness and completeness
    0 references
    bigraphs
    0 references
    pointer logic
    0 references
    hyperdoctrine
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references