We stand with Ukraine  

William Craig

Affiliations:
  • University of California, Berkeley, Department of Philosophy, USA


According to our database1, William Craig authored at least 15 papers between 1952 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Multimodal Deep Learning for Pediatric Mild Traumatic Brain Injury Detection.
[BibTeX]
[DOI]
Badhan Mazumder
,
Deepan Krishna Tripathy
,
Keith Owen Yeates
,
Miriam H. Beauchamp
,
William Craig
,
Quynh Doan
,
Stephen B. Freedman
,
Catherine Lebel
,
Roger Zemek
,
Ashley L. Ware
,
Dong Hye Ye
Proceedings of the IEEE EMBS International Conference on Biomedical and Health Informatics, 2023

2014
Peter van Inwagen, Substitutional Quantification, and Ontological Commitment.
[BibTeX]
[DOI]
William Craig
Notre Dame J. Formal Log., 2014

2008
The road to two theorems of logic.
[BibTeX]
[DOI]
William Craig
Synth., 2008

Elimination problems in logic: a brief history.
[BibTeX]
[DOI]
William Craig
Synth., 2008

1989
Near-Equational and Equational Systems of Logic for Partial Functions II.
[BibTeX]
[DOI]
William Craig
J. Symb. Log., 1989

Near-Equational and Equational Systems of Logic for Partial Functions I.
[BibTeX]
[DOI]
William Craig
J. Symb. Log., 1989

1988
A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality.
[BibTeX]
[DOI]
Hajnal Andréka
,
William Craig
,
István Németi
J. Symb. Log., 1988

1965
Satisfaction for n-th Order Languages Defined in n-th Order Languages.
[BibTeX]
[DOI]
William Craig
J. Symb. Log., 1965

1960
Bases for First-Order Theories and Subtheories.
[BibTeX]
[DOI]
William Craig
J. Symb. Log., 1960

1958
Finite Axiomatizability Using Additional Predicates.
[BibTeX]
[DOI]
William Craig
,
Robert L. Vaught
J. Symb. Log., 1958

1957
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.
[BibTeX]
[DOI]
William Craig
J. Symb. Log., 1957

Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.
[BibTeX]
[DOI]
William Craig
J. Symb. Log., 1957

1955
Eighteenth Meeting of the Association for Symbolic Logic.
[BibTeX]
[DOI]
William Craig
J. Symb. Log., 1955

1953
On Axiomatizability Within a System.
[BibTeX]
[DOI]
William Craig
J. Symb. Log., 1953

1952
On Reduction to a Symmetric Relation.
[BibTeX]
[DOI]
William Craig
,
Willard Van Orman Quine
J. Symb. Log., 1952


  Loading...