Pages that link to "Item:Q2915054"
From MaRDI portal
The following pages link to Nested Sequent Calculi for Conditional Logics (Q2915054):
Displaying 10 items.
- Nested expressions in logic programs (Q1978013) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- Nested sequent calculi for normal conditional logics (Q2804318) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- (Q3012537) (← links)
- Grafting hypersequents onto nested sequents (Q4644546) (← links)
- (Q5419898) (← links)
- (Q5884946) (← links)