Pages that link to "Item:Q781510"
From MaRDI portal
The following pages link to Uniform Lyndon interpolation property in propositional modal logics (Q781510):
Displaying 10 items.
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Deciding the existence of uniform interpolants over transitive models (Q627437) (← links)
- 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)
- Uniform interpolation for monotone modal logic (Q2904063) (← links)
- Uniform interpolation in provability logics (Q5224686) (← links)
- The Logic of Exact Covers: Completeness and Uniform Interpolation (Q5271079) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)