Pages that link to "Item:Q685071"

The following pages link to On the provability logic of bounded arithmetic (Q685071):

Displaying 9 items.

• Provability and interpretability logics with restricted realizations (Q435232) (← links)
• The second incompleteness theorem and bounded interpretations (Q454368) (← links)
• Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
• Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
• No escape from Vardanyan's theorem (Q2501168) (← links)
• Provability logic: models within models in Peano arithmetic (Q2701199) (← links)
• Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
• Solutions to the knower paradox in the light of Haack's criteria (Q6166128) (← links)