Pages that link to "Item:Q2804473"
From MaRDI portal
The following pages link to Proof analysis for Lewis counterfactuals (Q2804473):
Displaying 12 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798) (← 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)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)