The following pages link to (Q5688807):
Displayed 20 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- (Q5090950) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)