Conditional doxastic logic with oughts and concurrent upgrades