No label defined (Q4696162)

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

    Statements

    0 references
    29 June 1993
    0 references
    interpretability logic
    0 references
    consistency
    0 references
    propositional modal logic OIL
    0 references
    finite Visser models
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references