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

Research output: Contribution to journalArticlepeer-review

22 Citations (Scopus)
Original languageEnglish
Pages (from-to)369-382
JournalNotre Dame Journal of Formal Logic
Volume33
Issue number3
DOIs
Publication statusPublished - 1992

Cite this