scientific article; zbMATH DE number 7668091

MaRDI QIDQ5884936zbMATH OpenFDO

Authors Amirhossein Akbar Tabatabai

Publication date 24 March 2023

Full work available at URL https://arxiv.org/abs/1704.07678

zbMATH Keywords

provability interpretationprovability logicSolovay's completeness theorems

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• On provability logics with linearly ordered modalities
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• Provability logics relative to a fixed extension of Peano arithmetic
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• scientific article; zbMATH DE number 1215499

Cited in

(12)

• An arithmetical hierarchy in propositional dynamic logic
• Refutational theorem proving for hierarchic first-order theories
• Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
• Hierarchies in Dependence Logic
• Finite Quantification in Hierarchic Theorem Proving
• scientific article; zbMATH DE number 4057489 (Why is no real title available?)
• scientific article; zbMATH DE number 1256653 (Why is no real title available?)
• A translation from the modal logic of provability into K4
• scientific article; zbMATH DE number 1078383 (Why is no real title available?)
• scientific article; zbMATH DE number 1951638 (Why is no real title available?)
• scientific article; zbMATH DE number 1531820 (Why is no real title available?)
• Provability Logics of Hierarchies

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