Pages that link to "Item:Q2443118"
From MaRDI portal
The following pages link to Nested sequents for intuitionistic logics (Q2443118):
Displaying 15 items.
- Modal interpolation via nested sequents (Q487689) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- On Height and Happiness (Q3299847) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- (Q3384897) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- (Q4558785) (← links)
- Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
- Linear depth deduction with subformula property for intuitionistic epistemic logic (Q6156631) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
- Subintuitionistic logics and their modal companions: a nested approach (Q6650729) (← links)
