TY - RPRT TI - An Introduction to Logics of Knowledge and Belief AU - Hans van Ditmarsch AU - Joseph Y. Halpern AU - Wiebe van der Hoek AU - Barteld Kooi PY - 2015 UR - https://arxiv.org/abs/1503.00806 ID - 1503.00806 ER -