scientific article; zbMATH DE number 3786776

zbMATH Open0499.03046MaRDI QIDQ3964565FDOQ3964565

Authors: Sergei Artemov 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)

Cited In (3)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3964565)