THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC (Q3671125)

From MaRDI portal
scientific article
Language Label Description Also known as
English
THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC
scientific article

    Statements

    THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC (English)
    0 references
    0 references
    0 references
    1983
    0 references
    proof theory
    0 references
    modal logic
    0 references
    Peano arithmetic
    0 references
    consistency assertion
    0 references
    extension of GL
    0 references
    sequent calculus
    0 references
    cut-elimination
    0 references
    completeness
    0 references
    Kripke frames
    0 references
    finite model property
    0 references

    Identifiers