scientific article

zbMath0499.03046MaRDI QIDQ3964565

Sergej N. Artemov

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

provability logicextensions of PAheights of finite Kripke modelslocal reflection schematrue arithmetic formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items

Interpretability of various extensions of arithmetic ⋮ Iterated local reflection versus iterated consistency ⋮ Independent numerations of theories and recursive progressions