A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning | Publicación