1: \begin{abstract}

2: Let $\Gcal$ be an addable, minor-closed class of graphs. %%%such that all the excluded minors are 2-connected.

3: We prove that the zero-one law holds in monadic second-order  logic (MSO) for the random graph drawn

4: uniformly at random from all {\em connected} graphs in $\Gcal$ on $n$ vertices, and the convergence law in MSO

5: holds if we draw uniformly at random from all graphs in $\Gcal$ on $n$ vertices.

6: We also prove analogues of these results for the class of graphs embeddable on a fixed surface, provided we restrict

7: attention to first order logic (FO).  Moreover, the limiting probability that a given FO sentence is satisfied is independent

8: of the surface $S$.

9: %Having proved the convergence law for the general random graph from an addable, minor-closed class, we turn attention to the

10: %structure of the set of limiting probabilities.

11: We also prove that the closure of the set of limiting probabilities is always the finite union of at least two disjoint intervals, and

12: that it is the same for FO and MSO. For the classes of forests and planar graphs we are able to determine

13: the closure of the set of limiting probabilities precisely. For planar graphs it consists of exactly 108 intervals, each of length

14: $\approx 5\cdot 10^{-6}$.

15:  %

16: Finally, we analyse examples of non-addable classes where the behaviour is quite different. For instance, the zero-one law does not hold for the random caterpillar on $n$ vertices, even in FO.

17: \end{abstract}

18: