ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS

DOI10.1070/IM1990V035N02ABEH000701MaRDI QIDQ3483261zbMATH OpenFDO

Authors Lev D. Beklemishev

Publication date 1990

Published in Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/IM1990V035N02ABEH000701

zbMATH Keywords

extensions of PAmodal logicsPeano arithmeticprovability logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1341927
• The classification of propositional calculi
• On propositional quantifiers in provability logic
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• scientific article; zbMATH DE number 4099259
• Provability logics with quantifiers on proofs
• scientific article; zbMATH DE number 5920146
• scientific article; zbMATH DE number 3935005
• Proof-finding algorithms for classical and subclassical propositional logics
• scientific article; zbMATH DE number 65760

Cited in

(24)

• On propositional quantifiers in provability logic
• On bimodal logics of provability
• The classification of propositional calculi
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Propositional truth maintenance systems: Classification and complexity analysis
• On a strengthening of the non-isomorphism theorem for provability algebras
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
• On the restricted equivalence for subclasses of propositional logic
• scientific article; zbMATH DE number 3872670 (Why is no real title available?)
• The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic
• scientific article; zbMATH DE number 3910372 (Why is no real title available?)
• scientific article; zbMATH DE number 3963790 (Why is no real title available?)
• scientific article; zbMATH DE number 4010487 (Why is no real title available?)
• scientific article; zbMATH DE number 1297597 (Why is no real title available?)
• scientific article; zbMATH DE number 1341927 (Why is no real title available?)
• On goal-directed provability in classical logic
• Reduction of provability logics to _1-provability logics
• Provability logics relative to a fixed extension of Peano arithmetic
• Current research on Gödel's incompleteness theorems
• scientific article; zbMATH DE number 4195937 (Why is no real title available?)
• scientific article; zbMATH DE number 6290320 (Why is no real title available?)
• scientific article; zbMATH DE number 7668091 (Why is no real title available?)
• The persistence principle over weak interpretability logic

This page was built for publication: ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS

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