  A formula \(X\) is valid in a particular model for  \(\mathsf{J}_{CS}\) if it is true at all  possible worlds of the model. Axiomatics for  \(\mathsf{J}_{CS}\) was given in  Sections 2.2 and 2.3. A completeness theorem now takes the expected  form.