Resolute sequences in initial segment complexity / G. Barmpalias and R. G. Downey -- Approximating functions and measuring distance on a graph / W. Calvert, R. Miller and J. Chubb Reimann -- Carnap and McKinsey: topics in the pre-history of possible-worlds semantics / M. J. Cresswell -- Limits to joining with generics and randoms / A. R. Day and D. D. Dzhafarov -- Freedom & consistency / M. Detlefsen -- A van Lambalgen theorem for Demuth randomness / D. Diamondstone, N. Greenberg and D. Turetsky -- Faithful representations of polishable ideals / S. Gao -- Further thoughts on Definability in the Urysohn sphere / I. Goldbring -- Simple completeness proofs for some spatial logics of the real line / I. Hodkinson -- On a question of Csima on computation-time domination / X. Hua, J. Liu and G. Wu -- A generalization of Beth model to functionals of high types / F. Kachapova -- A computational framework for the study of partition functions and graph polynomials / T. Kotek, J. A. Makowsky and E. V. Ravve -- Relation algebras and R / T. Kowalski -- Van Lambalgen's theorem for uniformly relative Schnorr and computable randomness / K. Miyabe and J. Rute -- Computational aspects of the hyperimmune-free degrees / K. M. Ng ... [et al.] -- Calibrating the complexity of [symbol] sets via their changes / A. Nies -- Topological full groups of minimal subshifts and just-infinite groups / S. Thomas -- TW-models for logic of knowledge-cum-belief / S. C.-M. Yang.