 We now turn to Action-Priority Update Logic (a.k.a., the Logic of Doxastic Actions). To begin, we define the language \eqref{APUL} of Action-Priority Update Logic along with the set \(\PAM_*\) of pointed plausibility action models having preconditions in the language \eqref{APUL} according to the following recursive grammar: 