Pages that link to "Item:Q1176094"
From MaRDI portal
The following pages link to Explicit fixed points in interpretability logic (Q1176094):
Displaying 4 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><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP (Q4008752) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
