PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS

DOI10.1017/S1755020315000295zbMath1386.03028MaRDI QIDQ2804473

Sara Negri, Giorgio Sbardolini

Publication date: 29 April 2016

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

zbMATH Keywords

completenessrelational semanticsdecidabilitycut-eliminationcounterfactual conditionalslabelled deduction systemlabelled sequential calculus

Mathematics Subject Classification ID

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

Related Items (6)

A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ 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

Cites Work

• Does the deduction theorem fail for modal logic?
• Proof analysis in intermediate logics
• Counterfactuals and comparative possibility
• Proof analysis in modal logic
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• 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
• Proofs and countermodels in non-classical logics
• GEOMETRISATION OF FIRST-ORDER LOGIC
• A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
• Cut Elimination in the Presence of Axioms
• Internalizing labelled deduction
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS