Pages that link to "Item:Q2148800"
From MaRDI portal
The following pages link to Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800):
Displaying 6 items.
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401) (← links)
- Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics (Q6407474) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
