Proof analysis for Lewis counterfactuals
From MaRDI portal
Publication:2804473
Recommendations
Cites work
- A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
- A sequent- or tableau-style system for Lewis's counterfactual logic VC
- Basic conditional logic
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
- Counterfactuals and comparative possibility
- Cut Elimination in the Presence of Axioms
- Does the deduction theorem fail for modal logic?
- Geometrisation of first-order logic
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again
- Internalizing labelled deduction
- Proof analysis in intermediate logics
- Proof analysis in modal logic
- Proofs and countermodels in non-classical logics
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Cited in
(15)- Note on the incompleteness of an axiom system in Lewis' \textit{Counterfactuals}
- A system of proof for Lewis counterfactual
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- Standard sequent calculi for Lewis' logics of counterfactuals
- Counterfactual assumptions and counterfactual implications
- On the duality of proofs and countermodels in labelled sequent calculi
- Natural deduction calculi and sequent calculi for counterfactual logics
- Decidable fragments of the quantified argument calculus
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again
- A sequent- or tableau-style system for Lewis's counterfactual logic VC
- Herzberger's limit rule with labelled sequent calculus
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
- A standard internal calculus for Lewis' counterfactual logics
This page was built for publication: Proof analysis for Lewis counterfactuals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804473)