Weighted Automata, Formal Power Series and Weighted Logic