Pages that link to "Item:Q2443118"
From MaRDI portal
The following pages link to Nested sequents for intuitionistic logics (Q2443118):
Displaying 27 items.
- Modal interpolation via nested sequents (Q487689) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Nested expressions in logic programs (Q1978013) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- Nested sequent calculi for normal conditional logics (Q2804318) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- (Q3012537) (← links)
- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic (Q3190166) (← 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)
- (Q3744149) (← links)
- (Q4558785) (← links)
- Grafting hypersequents onto nested sequents (Q4644546) (← links)
- Nested sequents for provability logic GLP: FIG. 1. (Q4644600) (← links)
- (Q5111307) (← links)
- Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)
- (Q5419898) (← links)
- (Q5884946) (← 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)
