scientific article; zbMATH DE number 1320664

MaRDI QIDQ4257091zbMATH OpenFDO

Authors Tatiana Yavorskaya

Publication date 25 January 2000

zbMATH Keywords

arithmetical completenessaxiomatizationdecidabilitylabeled modalities for individual proofsmodal operator for formal provabilityoperational modal logicprovability logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1114356
• Logic of proofs and provability
• scientific article; zbMATH DE number 1735872
• An operational logic of proofs with positive and negative information

Cited in

(13)

• Undecidability of a second-order provability logic with operation of comparison of witnesses
• An operational logic of proofs with positive and negative information
• Dag Prawitz on proofs, operations and grounding
• Logic of Proofs and Labels with a Complete Set of Operations
• Batch ZK Proof and Verification of OR Logic
• scientific article; zbMATH DE number 4006264 (Why is no real title available?)
• scientific article; zbMATH DE number 515725 (Why is no real title available?)
• scientific article; zbMATH DE number 1735872 (Why is no real title available?)
• scientific article; zbMATH DE number 1114340 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1114356 (Why is no real title available?)
• scientific article; zbMATH DE number 937363 (Why is no real title available?)
• Logic of proofs and provability

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