Pages that link to "Item:Q685071"

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

Displaying 25 items.

• Provability and interpretability logics with restricted realizations (Q435232) (← links)
• The second incompleteness theorem and bounded interpretations (Q454368) (← links)
• The bounded proof property via step algebras and step frames (Q741087) (← links)
• Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069) (← links)
• On the scheme of induction for bounded arithmetic formulas (Q1104318) (← links)
• Structure and definability in general bounded arithmetic theories (Q1125060) (← links)
• On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness (Q1182692) (← links)
• Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
• On the bounded version of Hilbert's tenth problem (Q1407606) (← links)
• A bounded arithmetic AID for Frege systems (Q1977488) (← links)
• A proof theory for the logic of provability in true arithmetic (Q2193977) (← 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)
• Quantified propositional calculi and fragments of bounded arithmetic (Q3472099) (← links)
• (Q3757914) (← links)
• Finite automata, real time processes and counting problems in bounded arithmetics (Q3791138) (← links)
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC (Q4295253) (← links)
• Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
• Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document} (Q4915222) (← links)
• (Q5465358) (← links)
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
• Reflections on Orlov (Q6098652) (← links)
• Solutions to the knower paradox in the light of Haack's criteria (Q6166128) (← links)