scientific article; zbMATH DE number 4006264

MaRDI QIDQ3757914zbMATH OpenFDO

Authors Sergei Artemov

Publication date 1987

zbMATH Keywords

modal logicpredicate provability logicrecursively enumerable extension of arithmetic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4174895
• Provability multilattice logic
• Provability logics with quantifiers on proofs
• Logic of Proofs for Bounded Arithmetic
• On the provability logic of bounded arithmetic
• A proof theory for the logic of provability in true arithmetic
• scientific article; zbMATH DE number 3935005
• Provability logics for natural Turing progressions of arithmetical theories
• scientific article; zbMATH DE number 1114356
• scientific article; zbMATH DE number 1320664

Cited in

(7)

• On inclusions between quantified provability logics
• Franco Montagna's work on provability logic and many-valued logic
• Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
• Independent numerations of theories and of recursive progressions
• On predicate provability logics and binumerations of fragments of Peano arithmetic
• scientific article; zbMATH DE number 1341927 (Why is no real title available?)
• Validating Brouwer's continuity principle for numbers using named exceptions

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 Q3757914)