A Sequent- or Tableau-Style System for Lewis's Counterfactual Logic VC

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	369-382
Journal	Notre Dame Journal of Formal Logic
Volume	33
Issue number	3
DOIs	https://doi.org/10.1305/ndjfl/1093634402
Publication status	Published - 1992

Access to Document

@article{79be6c3ffb2546d5a98ec8b4775d5467,

title = "A Sequent- or Tableau-Style System for Lewis's Counterfactual Logic VC",

author = "Gent, {Ian Philip}",

year = "1992",

doi = "10.1305/ndjfl/1093634402",

language = "English",

volume = "33",

pages = "369--382",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "3",

}