Pages that link to "Item:Q584241"
From MaRDI portal
The following pages link to Interpolation in infinitely layered extensions of provability logic (Q584241):
Displaying 9 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- Failure of interpolation in constant domain intuitionistic logic (Q2869908) (← links)
- Interpolation and implicit definability in extensions of the provability logic (Q3534985) (← links)
- Interpolation theorems for some variants of LTL (Q4596923) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308386) (← links)
- (Q5702666) (← links)
