Pages that link to "Item:Q1176094"

The following pages link to Explicit fixed points in interpretability logic (Q1176094):

Displaying 9 items.

• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• The Henkin Sentence (Q3454817) (← 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)
• The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
• The persistence principle over weak interpretability logic (Q6561649) (← links)
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (Q6562370) (← links)
• Notes on my scientific life (Q6612807) (← links)
• Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)