Pages that link to "Item:Q781510"
From MaRDI portal
The following pages link to Uniform Lyndon interpolation property in propositional modal logics (Q781510):
Displaying 5 items.
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
