Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Notre Dame Journal of Formal Logic
| Editors: | MISSING
| Book#: | 0029-4527
| Publisher: | MISSING
| Volume: | 33/3
| Pages: | 369-382
| |
Journal Paper #139 | |
Title: | a Sequent- or Tableau-style System for Lewis's Counter-Factual Logic VC |
---|---|
Authors: | Gent,I |
Date: | 1992 |
Presented: | |
Keywords: |