according to such tri-partitioning of epistemic worlds, doubting logic which researches logic relationship among propositions of doubting world is independent.
logic such as knowledge logic, belief logic, deontic logic and so on, can be regarded as 「positive」 logic, and doubting logic can be regarded as 「negative」 one.