AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187)

From MaRDI portal
scientific article; zbMATH DE number 7781916
Language Label Description Also known as
English
AN ESCAPE FROM VARDANYAN’S THEOREM
scientific article; zbMATH DE number 7781916

    Statements

    AN ESCAPE FROM VARDANYAN’S THEOREM (English)
    0 references
    0 references
    0 references
    22 December 2023
    0 references
    modal logic
    0 references
    provability logic
    0 references
    strictly positive logics
    0 references
    quantified modal logic
    0 references
    arithmetic interpretations
    0 references
    feasible fragments
    0 references
    0 references
    0 references
    0 references
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references