scientific article; zbMATH DE number 4177049

zbMATH Open0715.03024MaRDI QIDQ3201044FDOQ3201044

S. N. Artëv

Publication date: 1990

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

Recommendations

• scientific article
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 3963790
• Positive provability logic for uniform reflection principles
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)

zbMATH Keywords

modal logicsdiagonalizationintuitionistic logicsextremely undecidable sentencesuniform arithmetical completeness of propositional logics of provability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cited In (9)

• Title not available (Why is that?)
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof-theoretic modal PA-completeness. I: A system-sequent metric
• Title not available (Why is that?)
• On classes of arithmetical counterparts of modal provability logics
• Arithmetical Completeness of the Intuitionistic Logic of Proofs
• Title not available (Why is that?)

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