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

Harrie de Swart

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

Department of Philosophy

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

Original language	English
Pages (from-to)	1-20
Journal	The journal of symbolic logic
Volume	48
Issue number	1
Publication status	Published - 1983

Access to Document

https://projecteuclid.org/euclid.jsl/1183741185Licence: Unspecified

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",

}