Pages that link to "Item:Q5202653"

The following pages link to The interpretability logic of Peano arithmetic (Q5202653):

Displaying 39 items.

• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• Provability and interpretability logics with restricted realizations (Q435232) (← links)
• The de Jongh property for basic arithmetic (Q481876) (← links)
• A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
• The provability logic for \(\Sigma_ 1\)-interpolability (Q688429) (← links)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
• On modal logics of model-theoretic relations (Q831223) (← links)
• Transductions in arithmetic (Q904144) (← links)
• Interpretability in PRA (Q1035648) (← links)
• The formalization of interpretability (Q1176098) (← links)
• The logic of linear tolerance (Q1207342) (← links)
• Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
• Interpretations of Presburger arithmetic in itself (Q1709716) (← links)
• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
• A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
• Interpretability suprema in Peano arithmetic (Q2402961) (← links)
• Set theory with and without urelements and categories of interpretations (Q2505133) (← links)
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
• Hard provability logics (Q2658282) (← links)
• Filtrations of generalized Veltman models (Q2827954) (← links)
• (Q3140636) (← links)
• (Q4250050) (← links)
• Undecidability in diagonalizable algebras (Q4338316) (← links)
• The complexity of the modal predicate logic of “true in every transitive model of ZF” (Q4382481) (← links)
• (Q4437331) (← links)
• Interpretability over peano arithmetic (Q4948517) (← links)
• HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
• INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
• On strong provability predicates and the associated modal logics (Q5287692) (← links)
• Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← links)
• Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
• Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
• Notes on my scientific life (Q6612807) (← links)
• Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
• The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)