No label defined (Q2718477)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    26 July 2001
    0 references
    interpretability logic
    0 references
    Veltman model
    0 references
    principle of interpretability
    0 references
    bisimulation
    0 references

    Identifiers