Propositional_dynamic_logic loading ...