Pages that link to "Item:Q2510774"
From MaRDI portal
The following pages link to Interpolation properties for provability logics GL and GLP (Q2510774):
Displaying 7 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- On provability logics with linearly ordered modalities (Q456968) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Interpolation properties for Sacchetti's logics (Q2097057) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- (Q5702666) (← links)
