A sequent- or tableau-style system for Lewis's counterfactual logic VC

DOI10.1305/NDJFL/1093634402zbMath0762.03010OpenAlexW2095085625MaRDI QIDQ1203766

Ian Philip Gent

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634402

zbMATH Keywords

completenesssoundnesscounterfactualtableaux-based proof system for VC

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (8)

A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Sequent Systems for Lewis’ Conditional Logics ⋮ Winter meeting of the Association for Symbolic Logic, San Antonio, 1993 ⋮ A Topos-Theoretic Approach to Counterfactual Logic ⋮ PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

This page was built for publication: A sequent- or tableau-style system for Lewis's counterfactual logic VC