Pages that link to "Item:Q1712936"

The following pages link to Uniform interpolation and sequent calculi in modal logic (Q1712936):

Displaying 8 items.

• Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
• Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
• The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
• Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
• Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
• Uniform interpolation via nested sequents (Q2148805) (← links)
• Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
• Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)