Logic of Proofs and Labels with a Complete Set of Operations

DOI10.1093/LOGCOM/EXL032MaRDI QIDQ3431970zbMATH OpenOpenAlexFDO

Authors Tatiana Yavorskaya

Publication date 13 April 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exl032

zbMATH Keywords

justification logiclogic of proofsmodal logicprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 1114356
• scientific article; zbMATH DE number 1320664
• Operations on proofs and labels
• scientific article; zbMATH DE number 937363
• Provability logic and the completeness principle
• scientific article; zbMATH DE number 1735872
• scientific article; zbMATH DE number 1301808
• Logic of proofs and provability
• scientific article; zbMATH DE number 1136087
• On arithmetical completeness of the logic of proofs

Cited in

(4)

• The logic of justification
• Operations on proofs and labels
• Negative Operations on Proofs and Labels
• Logic of proofs with substitution

This page was built for publication: Logic of Proofs and Labels with a Complete Set of Operations

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