Journal Article

Bednarek, R., Paroutis, Sotirios and Sillince, J.. (2016) Transcendence through rhetorical practices : responding to paradox in the science sector. Organization Studies . ISSN 0170-8406 (In Press)

Clayton, Matthew. (2016) Liberal equality : political not erinaceous. Critical Review of International Social and Political Philosophy, 19 (4). pp. 416-433. ISSN 1369-8230

Dean, Walter. (2017) Bernays and the completeness theorem. Annals of the Japan Association for Philosophy of Science, 25 . pp. 45-55. ISSN 0453-0691

Dean, Walter and Walsh, Sean. (2017) The prehistory of the subsystems of second-order arithmetic. The Review of Symbolic Logic . ISSN 1755-0203 (In Press)

Roberts, Pendaran and Schmidtke, Kelly. (2015) Relationalism about perceptible properties and the principle of charity. Synthese . pp. 1-25. ISSN 0039-7857 (In Press)

Book Item

Dean, Walter (2016) Algorithms and the mathematical foundations of computer science. In: Horsten, L. and Welch, P., (eds.) Gödel's disjunction : the scope and limits of mathematical knowledge. Oxford University Press, pp. 19-66. ISBN 9780198759591

Dean, Walter and Kurokawa, Hidenori (2015) Kreisel's theory of constructions, the Kreisel-Goodman paradox, and the second clause. In: Piecha, Thomas and Schroeder-Heister, Peter, (eds.) Advances in Proof-Theoretic Semantics. Trends in Logic, 43 . Springer International Publishing, pp. 27-63. ISBN 9783319226859

Journal Item

Sanborn, Adam N., Hills, Thomas Trenholm, Dougherty, Michael R., Thomas, Rick P., Yu, Erica C. and Sprenger, Amber M. (2014) Reply to Rouder (2014) : good frequentist properties raise confidence. Psychonomic Bulletin & Review , Volume 21 (Number 2). pp. 309-311. ISSN 1069-9384

Report

Gent, Ian (1990) A sequent system for Lewis's counterfactual logic VC. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Marx, Maarten and Areces, Carlos (1997) Failure of interpolation in combined modal logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rijke, Maarten de (1996) A note on graded modal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rijke, Maarten de and Kurtonina, Natasha (1996) Bisimulations for temporal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Thesis or Dissertation

Cunningham, Joseph John (2015) The remit of reasons. PhD thesis, University of Warwick.

Goudeli, Kyriaki (1999) Logic and logogrif in German idealism : an investigation into the notion of experience in Kant, Fichte, Schelling. PhD thesis, University of Warwick.

Hovsepian, Felix (1992) A metalogical analysis of vagueness : an exploratory study into the geometry of logic. PhD thesis, University of Warwick.

Lambert, Richard (2015) The diffêrance of an almost absolute proximity : Hegel and Derrida. PhD thesis, University of Warwick.