Recent PhD-Theses in Logic
2007
- Firoz Shaikh. Workable Approximatino Families. Supervisor: Mirna Dzamonja. University of East Anglia, 2007.
- Ruth Hardy, Formal Methods for Control Engineering: A validated decision procedure for Nichols plot analysis, St Andrews University, 2006. Supervisor Roy Dyckhoff. Abstract.
- Mark Jago, Logics for Resource Bounded Agents. University of Nottingham, 2006. Supervisors: Natasha Alechina, Brian Logan, Eros Corazza. Abstract.
- Stéphane Lengrand, Normalisation and Equivalence in Proof Theory and Type Theory, University of St Andrews (in cotutelle with Paris 7), 2006. Supervisors Roy Dyckhoff and Delia Kesner. Abstract.
- Dmitry Shkatov, Modal Logics with Existential Modality, Finite-iteration Modality, and Intuitionistic Base: Decidability and Completeness. University of Nottingham, 2005. Supervisor: Natasha Alechina. Abstract.
- David Gabelaia, Topological Semantics and Two-Dimensional Combinations of Modal Logics, King's College London, 2005. Supervisor: Michael Zakharyaschev. Abstract.
- Dickon Lush: Finitary Geometry in Minimal Parts Graphs. University of Bristol, 2004. Supervisor: John Mayberry. Abstract.
- Katie Chicot: Transitivity properties of countable trees. University of Leeds 2004. Supervisor: J.K.Truss
- Roman Kontchakov, Monodic First-Order Temporal Logics: Complexity, Tableaux, and Applications, King's College London, 2004. Supervisor: Michael Zakharyaschev Abstract.
- Richard Williams: Finitely iterated inductive definitions over a predicative arithmetic. University of Leeds 2004. Supervisor: S.S. Wainer.
- Silvia Barbina: Automorphism groups of omega- categorical structures. University of Leeds 2004. Supervisor: H.D. Macpherson.
- George Barmpalias: Computability and applications to analysis. University of Leeds 2004. Supervisor: S.B. Cooper
- Nicholas Peatfield. Analytic Zariski Structures. University of Oxford, 2004. Supervisor: Boris Zilber. Abstract.
- Katherine Thompson. Universality Results for Ordered and Directed Structures. University of East Anglia, 2003. Supervisor: Mirna Dzamonja. Abstract.
- Tim Mellor: Imaginaries in real closed valued fields. University of Leeds 2003. Supervisor: H.D. Macpherson
- Ben Gibbons. The Veblen hierarchy explained via Mahlo hierachies in constructive set theories. University of Leeds 2003. Supervisor: M. Rathjen.
- Gregory Piper. On the Combinatorics of P_\kappa
- Klaus Thiel: Meta-predicative set theories and provable ordinals. University of Leeds 2003. Supervisor: M. Rathjen \lambda. University of East Anglia, 2003. Supervisor: Mirna Dzamonja. Abstract.
- Andrew E.M. Lewis. Aspects of Complementing in the Turing Degrees. University of Leeds, 2003. Supervisor: S. Barry Cooper
- Rene Vestergarrd. The Primitive Proof Theory of the Lambda Calculus. Heriot-Watt University Edinburgh, 2003. Supervisor: Rob Pooley. Abstract.
- Gabriela Campero-Arena. Transitivity properties of countable coloured orderings. University of Leeds 2002. Supervisor: J.K. Truss.
- Matthew B. Giorgi. Continuity in Degree Structures. University of Leeds, 2001. Supervisor: S. Barry Cooper.
- Pablo Armelín. Bunched Logic Programming. University of London, 2002. Supervisor: D.J. Pym.
- Maged H. Wafy. A Study of an Inductive Problem Using Inference Processes. University of Manchester, 2000. Supervisor: Jeff B. Paris. Abstract.
- Mathias Kegelmann. Continous Domains in Logical Form. University of Birmingham, 2000. Supervisor: Achim Jung. Abstract.
- Massoud Pourmahdian. Model theory of simple theories. University of Oxford, 2000. Supervisor: F O Wagner.
- Robert Poston. O-minimal expansions of the additive reals: definability of multiplication and some structural analysis, University of Oxford, 1999. Supervisor: Alex Wilkie.
- Samin Ishtiaq. A Relevant Analysis of Natural Deduction. University of London, 1999. Supervisor: D.J. Pym.
- Steve Maxwell. O-minimality and model completeness of expansions of the real ordered field. University of Oxford, 1999. Supervisor:A J Wilkie.
- Mario Edmundo. O-minimal expansions of groups, University of Oxford, 1999. Supervisor:A J Wilkie.
- David Howard-Jones. Smooth functions in 0-minimal theories. University of Oxford, 1999. Ssupervisor:A J Wilkie.
- Otavio Bueno, Philosophy of Mathematics: A Structural Empiricist View, School of Philosophy, University of Leeds, 1999. Supervisor: Steven French. Abstract.
- Marcus J. Hill. Aspects of Induction and the Principle of Duality. Manchester University, 1999. Supervisors: G.M. Wilmers and J.B. Paris. Abstract.
- Jeffrey J. Ketland. The Mathematicization of Nature. London School of Economics, 1998. Supervisor: John Worrall. Abstract.
- Matthew Christopher Salts. Relative Computability and the Difference Hierarchy. University of Leeds, 1998. Supervisor: S. Barry Cooper
- Jacob Howe. Proof search issues in some non-classical logics. St Andrews University, 1998. Supervisor: Roy Dyckhoff. Abstract.
- Andrew Adams. Tools and Techniques for Machine-Assisted Meta-Theory. St Andrews University, 1997. Supervisor: Roy Dyckhoff.
- Luis Pinto. Proof-theoretic investigations of integrated logical and functional programming. St Andrews University, 1996. Supervisor: Roy Dyckhoff. Abstract.
- Richard John Coles. Splittings and Nonsplittings in the Turing Degrees. University of Leeds, 1996. Supervisor: S. Barry Cooper
- Roman Tuziak, Semantic Approaches to Paraconsistent Logic, University of Warwick, 1995. Supervisor: David Miller. Abstract.