Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/jsyml/Swart83
%A de Swart, Harrie C. M.
%D 1983
%J J. Symb. Log.
%K dblp
%N 1
%P 1-20
%T A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.
%U http://dblp.uni-trier.de/db/journals/jsyml/jsyml48.html#Swart83
%V 48
@article{journals/jsyml/Swart83,
added-at = {2014-08-05T00:00:00.000+0200},
author = {de Swart, Harrie C. M.},
biburl = {https://www.bibsonomy.org/bibtex/249b7a12905613fd4bee85aa39a81bf8f/dblp},
ee = {http://projecteuclid.org/euclid.jsl/1183741185},
interhash = {42c55fda9c63d9fe119999ebdc6a3bf9},
intrahash = {49b7a12905613fd4bee85aa39a81bf8f},
journal = {J. Symb. Log.},
keywords = {dblp},
number = 1,
pages = {1-20},
timestamp = {2015-06-18T02:36:55.000+0200},
title = {A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.},
url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml48.html#Swart83},
volume = 48,
year = 1983
}