Logic of proofs and provability
From MaRDI portal
Publication:5957921
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)
functional completenesslogic of proofsarithmetical provability interpretationmodal logic for provabilityoperations on proofs
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