 Adams assumes classical propositional logic (principle (C3)), which can be incorporated into A via the basic propositional schemas P1-P3 and the rule MP of modus ponens. For the rest, it is illuminating to start with the axioms of SQML—albeit with both modal operators as primitive—and then focus on additions and modifications required by Adams’ informal principles.