 A formula is valid iff it is true in all models. (Alternatively, one could use the semantics of C and require the set of states of a frame to be a singleton.) The set of all valid formulas is axiomatized by the following set of axiom schemata and rules: