Logic of proofs and provability

DOI10.1016/S0168-0072(01)00066-5zbMath1001.03053MaRDI QIDQ5957921

No author found.

Publication date: 11 December 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

functional completenesslogic of proofsarithmetical provability interpretationmodal logic for provabilityoperations on proofs

Mathematics Subject Classification ID

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

Related Items

Decidability for some justification logics with negative introspection ⋮ Topological Semantics of Justification Logic ⋮ A modal provability logic of explicit and implicit proofs ⋮ Justified common knowledge ⋮ Referential logic of proofs ⋮ Tableaux and Hypersequents for Justification Logic ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08

Cites Work

• Self-reference and modal logic
• Provability interpretations of modal logic
• Logic of proofs
• Explicit Provability and Constructive Semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item