The following pages link to (Q5477944):
Displaying 13 items.
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- A unification-theoretic method for investigating the \(k\)-provability problem (Q1814133) (← 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)
- Two kinds of unexpected problems in writings on logic (Q5437783) (← links)
- PROVING UNPROVABILITY (Q5737963) (← links)
- Mathematical Knowledge Management (Q5898514) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)
