The C1 Series
C1:  R is a system of rules derivable from logic(and probability
   theory)
C1*:  R is a system of rules that would be chosen by someone
who believes all the truths about logic (and probability theory),
but is ignorant of all contingent facts.