In this work we have investigated various properties of a spinning gyroscope
in the context of Horndeski theories. In particular, we have focused on two
specific situations --- (a) when the gyroscope follows a geodesic trajectory
and (b) when it is endowed with an acceleration. In both these cases, besides
developing the basic formalism, we have also applied the same to understand the
motion of a spinning gyroscope in various static and spherically symmetric
spacetimes pertaining to Horndeski theories. Starting with the Schwarzschild
de-Sitter spacetime as a warm up exercise, we have presented our results for
two charged Galileon black holes as well as for a black hole in scalar coupled
Einstein-Gauss-Bonnet gravity. In all these cases we have shown that the
spinning gyroscope can be used to distinguish black holes from naked
singularities. Moreover, using the numerical estimation of the geodetic
precession from the Gravity Probe B experiment, we have constrained the
gauge/scalar charge of the black holes in these Horndeski theories.
Implications are also discussed.Comment: v2, Revised, 34 pages, 11 figure