I am reading a game theory lecture notes. Some parts involve a continuous time Bayesian updating computation which I didn't really understand.
There are two states $\{Good,Bad\}$. At time t people has prior belief that the state of world being $Good$ as $p_t$. There is conclusive signal which can confirm that the state is good. Within time interval $[t,t+d_t)$, the probability of good signal's arrival is $\lambda\cdot K_t$. Then it wrote the updating rule as
$$p_t+dp_t=\frac{p_t(1-\lambda\cdot K_td_t)}{1-p_t\lambda\cdot K_t d_t},$$
and further conclude that
$$\frac{dp_t}{d_t}=-\lambda p_t(1-p_t)K_t.$$
I didn't understand both computation here.
For the first result, it seems the author only record $$p_{t+dt}(good|no\ news\ arrived).$$
Also, even if I accept the first equation, should I subtract $p_t$ on both sides and divided both sides by $d_t$? This does not give the result the author gave.