scientific article; zbMATH DE number 4006264

zbMATH Open0621.03038MaRDI QIDQ3757914FDOQ3757914

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

• Publication:3199395
• 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 (6)

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

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)