A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC  and VCS

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)1-20
JournalThe journal of symbolic logic
Volume48
Issue number1
Publication statusPublished - 1983

Cite this

@article{84b41bb664774c5697fdf0354fb84ed4,
title = "A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC  and VCS",
author = "{de Swart}, Harrie",
year = "1983",
language = "English",
volume = "48",
pages = "1--20",
journal = "The journal of symbolic logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "1",

}

TY - JOUR

T1 - A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC  and VCS

AU - de Swart, Harrie

PY - 1983

Y1 - 1983

M3 - Article

VL - 48

SP - 1

EP - 20

JO - The journal of symbolic logic

JF - The journal of symbolic logic

SN - 0022-4812

IS - 1

ER -