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.