 Instead of taking information possession \(K_a\) and defeasible knowledge \(\Box_a\) as the basic propositional attitudes, one may instead choose conditional belief statements \(B_a^GF\). This choice gives the theory \(\CDL\) of Conditional Doxastic Logic. See  Appendix J  for details. 