A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS

DOI10.2307/2273315MaRDI QIDQ3043113zbMATH OpenOpenAlexFDO

Authors Harrie de Swart

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

zbMATH Keywords

Beth-systemcompletenesscounterfactual logicdecision procedureGentzen-system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites work

• Counterfactuals
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(9)

• Trees and diagrams of decomposition
• Proof analysis for Lewis counterfactuals
• Standard sequent calculi for Lewis' logics of counterfactuals
• Nested sequent calculi for conditional logics
• Sequent Systems for Lewis’ Conditional Logics
• Natural deduction calculi and sequent calculi for counterfactual logics
• A standard internal calculus for Lewis' counterfactual logics
• Theorem proving for conditional logics: CondLean and GOALDUCK
• Winter meeting of the Association for Symbolic Logic, San Antonio, 1993

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043113)