A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
From MaRDI portal
Publication:3043113
DOI10.2307/2273315zbMath0527.03005OpenAlexW2161446626MaRDI QIDQ3043113
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273315
Related Items (9)
A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Sequent Systems for Lewis’ Conditional Logics ⋮ Natural deduction calculi and sequent calculi for counterfactual logics ⋮ Winter meeting of the Association for Symbolic Logic, San Antonio, 1993 ⋮ PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals ⋮ Trees and diagrams of decomposition
Cites Work
This page was built for publication: A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
