Finite Kripke models and predicate logics of provability (Q3211282): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1317985
Property / author
 
Property / author: Sergej N. Artemov / rank
Normal rank
 

Revision as of 14:42, 27 February 2024

scientific article
Language Label Description Also known as
English
Finite Kripke models and predicate logics of provability
scientific article

    Statements

    Finite Kripke models and predicate logics of provability (English)
    0 references
    1990
    0 references
    modal predicate logic
    0 references
    provability interpretation
    0 references
    provability logic
    0 references
    imbedding of modal logic into Peano arithmetic
    0 references
    Kripke model
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references