On explicit formulas for the principal matrix logarithm

We describe a method for evaluating both the Fibonacci-Hörner and the polynomial decomposition of the principal matrix logarithm, with a view to solve the lifting problem of its explicit computation. The Binet formula for linear recursive sequences serves as a triggering factor for giving the exact formula. We supply some illustrative examples.