A modal provability logic of explicit and implicit proofs
From MaRDI portal
Publication:636278
DOI10.1016/j.apal.2009.07.020zbMath1221.03060OpenAlexW2019330722MaRDI QIDQ636278
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.020
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Justification logics and hybrid logics
- The logic of proofs, semantically
- Feasible operations on proofs: the logic of proofs for bounded arithmetic
- Provability interpretations of modal logic
- Justified common knowledge
- Explicit Provability and Constructive Semantics
- Explicit Proofs in Formal Provability Logic
- Logic of proofs and provability
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item