 Amongst trivalent logics based on variations of de Finetti’s table, some systems stand out. First, there is Cooper’s logic OL and a close variant of it, Cantwell’s logic CC/TT (as named in Égré, Rossi, &amp; Sprenger 2021, after Cooper and Cantwell), itself a fragment of the logic LImp of Olkhovikov (2002), which also incorporates a modal necessity operator. OL and CC/TT are defined for \(L_2\), the full language allowing nested conditionals. Like de Finetti, Cooper (1968) handles the conditional as indeterminate when the antecedent is false (0). However, the conditional takes the value of the consequent when the antecedent is not false (either 1 or ½). Hence, instead of grouping ½ with 0, as de Finetti does, it groups ½ with 1.  Table 4  was rediscovered independently by Olkhovikov (2002) and by Cantwell (2008), with very similar motivations in mind. It was also proposed by Belnap (1973), who presents it as a suitable modification from Belnap (1970), who first used the same table as De Finetti’s.