Pages that link to "Item:Q5892512"
From MaRDI portal
The following pages link to Generic Modal Cut Elimination Applied to Conditional Logics (Q5892512):
Displayed 8 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- (Q5094116) (← links)