William Craig

Publication Activity (10 Years)

Years Active: 1952-2023
Publications (10 Years): 1

Top Topics

Conceptual Structures

Traumatic Brain Injury

Conceptual Modeling

Ontological Engineering

Top Venues

Notre Dame J. Formal Log.

Publications

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
Multimodal Deep Learning for Pediatric Mild Traumatic Brain Injury Detection. BHI (2023)
William Craig
Peter van Inwagen, Substitutional Quantification, and Ontological Commitment. Notre Dame J. Formal Log. 55 (4) (2014)
William Craig
The road to two theorems of logic. Synth. 164 (3) (2008)
William Craig
Elimination problems in logic: a brief history. Synth. 164 (3) (2008)
William Craig
Near-Equational and Equational Systems of Logic for Partial Functions II. J. Symb. Log. 54 (4) (1989)
William Craig
Near-Equational and Equational Systems of Logic for Partial Functions I. J. Symb. Log. 54 (3) (1989)
Hajnal Andréka, William Craig, István Németi
A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality. J. Symb. Log. 53 (3) (1988)
William Craig
Satisfaction for n-th Order Languages Defined in n-th Order Languages. J. Symb. Log. 30 (1) (1965)
William Craig
Bases for First-Order Theories and Subtheories. J. Symb. Log. 25 (2) (1960)
William Craig, Robert L. Vaught
Finite Axiomatizability Using Additional Predicates. J. Symb. Log. 23 (3) (1958)
William Craig
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. J. Symb. Log. 22 (3) (1957)
William Craig
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. J. Symb. Log. 22 (3) (1957)
William Craig
Eighteenth Meeting of the Association for Symbolic Logic. J. Symb. Log. 20 (2) (1955)
William Craig
On Axiomatizability Within a System. J. Symb. Log. 18 (1) (1953)
William Craig, Willard Van Orman Quine
On Reduction to a Symmetric Relation. J. Symb. Log. 17 (3) (1952)