A new proof of the fixed-point theorem of provability logic (Q923072)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A new proof of the fixed-point theorem of provability logic
scientific article

    Statements

    A new proof of the fixed-point theorem of provability logic (English)
    0 references
    1990
    0 references
    A semantic proof of the fixed-point theorem for the modal logic G of provability is given, modeled after Sambin's syntactic proof, which is rather complicated but provides algorithms for the explicit calculation of fixed-points. The new proof featuring Kripke models is simple and shows an algorithm for fixed-point calculation as well, with which the fixed-point is obtained in the same general appearance as the original formula. Some examples of fixed-point calculations are also given.
    0 references
    fixed-point theorem
    0 references
    modal logic G of provability
    0 references
    Kripke models
    0 references
    0 references

    Identifiers