Pages that link to "Item:Q4692089"

The following pages link to PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089):

Displaying 12 items.

• On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
• Provability logics for natural Turing progressions of arithmetical theories (Q804564) (← links)
• A new proof of the fixed-point theorem of provability logic (Q923072) (← links)
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069) (← links)
• A smart child of Peano's (Q1344434) (← links)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
• (Q4263489) (← links)
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC (Q4295253) (← links)
• Reduction of provability logics to Σ₁-provability logics (Q4644602) (← links)
• Some observations on the FGH theorem (Q6057622) (← links)