Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification