Provability, truth, and modal logic (Q1135843)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Provability, truth, and modal logic
scientific article

    Statements

    Provability, truth, and modal logic (English)
    0 references
    0 references
    0 references
    1980
    0 references
    0 references
    provability
    0 references
    truth
    0 references
    provability interpretation of modality
    0 references
    truth translation
    0 references
    Peano arithmetic
    0 references
    propositional modal logic
    0 references
    semantics
    0 references
    0 references