Proof analysis for Lewis counterfactuals
DOI10.1017/S1755020315000295zbMATH Open1386.03028MaRDI QIDQ2804473FDOQ2804473
Authors: Sara Negri, Giorgio Sbardolini 
Publication date: 29 April 2016
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Recommendations
completenessdecidabilityrelational semanticscut-eliminationcounterfactual conditionalslabelled deduction systemlabelled sequential calculus
Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)
Cites Work
- Cut Elimination in the Presence of Axioms
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Proofs and countermodels in non-classical logics
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
- Proof analysis in modal logic
- Geometrisation of first-order logic
- Basic conditional logic
- A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
- Proof analysis in intermediate logics
- Does the deduction theorem fail for modal logic?
- Counterfactuals and comparative possibility
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again
- Internalizing labelled deduction
- A sequent- or tableau-style system for Lewis's counterfactual logic VC
Cited In (12)
- Note on the incompleteness of an axiom system in Lewis' \textit{Counterfactuals}
- 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
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
- A Standard Internal Calculus for Lewis’ Counterfactual Logics
- Counterfactual assumptions and counterfactual implications
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
- On the duality of proofs and countermodels in labelled sequent calculi
- 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
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)
