Explicit fixed points in interpretability logic (Q1176094)

From MaRDI portal
Revision as of 14:13, 14 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Explicit fixed points in interpretability logic
scientific article

    Statements

    Explicit fixed points in interpretability logic (English)
    0 references
    0 references
    0 references
    25 June 1992
    0 references
    The explicit definability of fixed points is proved for the interpretability logic IL. The authors also show that the uniqueness is an immediate corollary of a theorem of Smoryński and that the fixed points can be simplified in the case of ILW.
    0 references
    0 references
    provability logic
    0 references
    explicit definability of fixed points
    0 references
    interpretability logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references