scientific article; zbMATH DE number 4099258

MaRDI QIDQ3824286zbMATH OpenFDO

Authors G. K. Dzhaparidze

Publication date 1988

zbMATH Keywords

arithmetical completenessbimodal logicmodal logicprovability logic

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 4204315
• The predicate modal logic of provability
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Provability logics with quantifiers on proofs
• scientific article; zbMATH DE number 1989643

Cited in

(19)

• Syntactical results on the arithmetical completeness of modal logic
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• A course on bimodal provability logic
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• scientific article; zbMATH DE number 6680147 (Why is no real title available?)
• On the locality of arb-invariant first-order formulas with modulo counting quantifiers
• scientific article; zbMATH DE number 4174895 (Why is no real title available?)
• scientific article; zbMATH DE number 4204315 (Why is no real title available?)
• Quantified propositional calculi and fragments of bounded arithmetic
• scientific article; zbMATH DE number 4059375 (Why is no real title available?)
• scientific article; zbMATH DE number 1989643 (Why is no real title available?)
• Quantified reflection calculus with one modality
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• Provability logics with quantifiers on proofs
• An Arithmetically Complete Predicate Modal Logic
• The analytical completeness of Dzhaparidze's polymodal logics
• The monadic Grzegorczyk logic
• The predicate modal logic of provability
• On classes of arithmetical counterparts of modal provability logics

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