The following pages link to (Q5224572):
Displaying 5 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- A sequent- or tableau-style system for Lewis's counterfactual logic VC (Q1203766) (← links)
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning (Q1694459) (← links)
- Proof analysis for Lewis counterfactuals (Q2804473) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)