The following pages link to (Q5477944):
Displayed 7 items.
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Is there a ``Hilbert thesis''? (Q2631647) (← links)
- Hard provability logics (Q2658282) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- The Henkin Sentence (Q3454817) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)