The following pages link to Logic of proofs and provability (Q5957921):
Displayed 6 items.
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- Justified common knowledge (Q2500478) (← links)
- Referential logic of proofs (Q2500486) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- Tableaux and Hypersequents for Justification Logic (Q3605536) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)