Report - Dynamic Epistemic Logics · PDL (where the basic actions describe primitive epistemic/doxastic relations, and the PDL operators construct more complex epistemic/doxastic relations)

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form