Translator Disclaimer
Summer 1992 A sequent- or tableau-style system for Lewis's counterfactual logic ${\rm VC}$.
Ian Philip Gent
Notre Dame J. Formal Logic 33(3): 369-382 (Summer 1992). DOI: 10.1305/ndjfl/1093634402
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
14 PAGES


SHARE
Vol.33 • No. 3 • Summer 1992
Back to Top