Proof analysis for Lewis counterfactuals

DOI10.1017/S1755020315000295MaRDI QIDQ2804473zbMATH OpenFDO

Authors Sara Negri, Giorgio Sbardolini

Publication date 29 April 2016

Published in The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

completenessdecidabilityrelational semanticscut-eliminationcounterfactual conditionalslabelled deduction systemlabelled sequential calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A system of proof for Lewis counterfactual
• A sequent- or tableau-style system for Lewis's counterfactual logic VC
• A standard internal calculus for Lewis' counterfactual logics
• scientific article; zbMATH DE number 7084838
• Standard sequent calculi for Lewis' logics of counterfactuals

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)