One of the main challenges in theoretical physics over the last five decades has been to reconcile quantum mechanics with general relativity into a theory of quantum gravity. However, such a theory has been proved to be hard to attain due to i) conceptual difficulties present in both the component theories (General Relativity (GR) and Quantum Theory); ii) lack of experimental evidence, since the regimes at which quantum gravity is expected to be applicable are far beyond the range of conceivable experiments. Despite these difficulties, various approaches for a theory of Quantum Gravity have been developed.In this thesis we focus on two such approaches: Loop Quantum Gravity and the Topos theoretic approach. The choice fell on these approaches because, although they both reject the Copenhagen interpretation of quantum theory, their underpinning philosophical approach to formulating a quantum theory of gravity are radically different. In particular LQG is a rather conservative scheme, inheriting all the formalism of both GR and Quantum Theory, as it tries to bring to its logical extreme consequences the possibility of combining the two. On the other hand, the Topos approach involves the idea that a radical change of perspective is needed in order to solve the problem of quantum gravity, especially in regard to the fundamental concepts of 'space' and 'time'. Given the partial successes of both approaches, the hope is that it might be possible to find a common ground in which each approach can enrich the other.This thesis is divided in two parts: in the first part we analyse LQG, paying particular attention to the semiclassical properties of the volume operator. Such an operator plays a pivotal role in defining the dynamics of the theory, thus testing its semiclassical limit is of uttermost importance. We then proceed to analyse spin foam models (SFM), which are an attempt at a covariant or path integral formulation of canonical Loop Quantum Gravity (LQG). In particular, in this thesis we propose a new SFM, whose path integral is defined in terms of the Holst action rather than the Plebanski action (used in current SFM). This departure from current SFM has enabled us to solve, explicitly, certain constraints which seem rather problematic in the current SFM.In the second part of this thesis we introduce Topos theory and how it has been utilised to reformulate quantum theory in a way that a consistent quantum logic can be defined. Moreover, we also define a Topos formulation of history quantum theory. The striking difference of this approach and the current consistent-history approach is that, in the former no fundamental role is played by the notion of a consistent sets (set of histories which do not interfere with each other) while, in the latter, such notions are central. This is an exciting departure since one of the main difficulty in the consistenthistory approach is how to choose the correct consistent set of history propositions, since there are many sets, most of which incompatible. However, we have s...