No label defined (Q5104696)

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

    Statements

    0 references
    0 references
    15 September 2022
    0 references
    provability logic
    0 references
    strictly positive logics
    0 references
    quantified modal logic
    0 references
    arithmetic interpretations
    0 references
    feasible fragments
    0 references
    decidable logics
    0 references
    finite model property
    0 references

    Identifiers