Report copyright - Dynamic Epistemic Logics · PDL (where the basic actions describe primitive epistemic/doxastic relations, and the PDL operators construct more complex epistemic/doxastic relations)
Please pass captcha verification before submit form