Pages that link to "Item:Q1176098"

The following pages link to The formalization of interpretability (Q1176098):

Displaying 20 items.

• A note on typed truth and consistency assertions (Q263089) (← links)
• A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
• Faith \& falsity (Q705533) (← links)
• On bimodal logics of provability (Q1332858) (← links)
• Iterated local reflection versus iterated consistency (Q1899141) (← links)
• The predicative Frege hierarchy (Q2271986) (← links)
• The arithmetics of a theory (Q2345393) (← links)
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
• Interpretability in Robinson's Q (Q2870105) (← links)
• CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
• More on Systems of Truth and Predicative Comprehension (Q3295826) (← 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)
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
• (Q5184411) (← links)
• The Interpretation Existence Lemma (Q5214783) (← links)
• EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
• Rules and arithmetics (Q5937848) (← links)
• The principles of interpretability (Q5937854) (← links)
• Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)