Pages that link to "Item:Q749519"

The following pages link to The logic of \(\Pi_ 1\)-conservativity (Q749519):

Displaying 22 items.

• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• Provability and interpretability logics with restricted realizations (Q435232) (← links)
• Transductions in arithmetic (Q904144) (← links)
• Interpretability in PRA (Q1035648) (← links)
• A note on the interpretability logic of finitely axiomatized theories (Q1181486) (← links)
• On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness (Q1182692) (← links)
• \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy (Q1262857) (← links)
• The logic of \(\Pi_ 1\)-conservativity continued (Q1311428) (← links)
• A smart child of Peano's (Q1344434) (← links)
• Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
• Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
• A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
• Self provers and \(\Sigma_{1}\) sentences (Q2903747) (← links)
• An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i>₀ + <i>Ω</i>₁ with a prepositional constant for EXP (Q4008752) (← links)
• (Q4133604) (← links)
• Interpreting GPFCSP within the LΠ ½ logic framework (Q5252363) (← links)
• Reflection calculus and conservativity spectra (Q5377088) (← links)
• Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← links)
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (Q6562370) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)