Provability logic with operations on proofs

DOI10.1007/3-540-63045-7_35MaRDI QIDQ4376078zbMATH OpenFDO

Authors Tatiana Yavorskaya

Publication date 1 June 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63045-7_35

zbMATH Keywords

axiomatizationoperational modal logicprovability logic

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(18)

• An operational logic of proofs with positive and negative information
• Dag Prawitz on proofs, operations and grounding
• Justified common knowledge
• Systems of axioms and models for the first order theories with provability operator
• Logic of Proofs and Labels with a Complete Set of Operations
• Topological Semantics of Justification Logic
• 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 1320664 (Why is no real title available?)
• scientific article; zbMATH DE number 515725 (Why is no real title available?)
• Operational logic of proofs with functionality condition on proof predicate
• Models for the logic of proofs
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• scientific article; zbMATH DE number 937363 (Why is no real title available?)
• Logic of proofs and provability
• Provability logics with quantifiers on proofs
• A modal provability logic of explicit and implicit proofs
• Provability in predicate product logic

This page was built for publication: Provability logic with operations on proofs

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