Bimodal logics for extensions of arithmetical theories (Q4879903)

From MaRDI portal
scientific article; zbMATH DE number 883461
Language Label Description Also known as
English
Bimodal logics for extensions of arithmetical theories
scientific article; zbMATH DE number 883461

    Statements

    Bimodal logics for extensions of arithmetical theories (English)
    0 references
    0 references
    17 March 1997
    0 references
    0 references
    recursively enumerable arithmetic
    0 references
    bimodal provability logics
    0 references
    completeness
    0 references
    decidability
    0 references
    0 references
    0 references