Pages that link to "Item:Q2510774"

The following pages link to Interpolation properties for provability logics GL and GLP (Q2510774):

Displayed 4 items.

• On provability logics with linearly ordered modalities (Q456968) ‎ (← links)
• Uniform Lyndon interpolation property in propositional modal logics (Q781510) ‎ (← links)
• Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) ‎ (← links)
• Circular proofs for the Gödel-Löb provability logic (Q2343897) ‎ (← links)