Knowledge in push down automata