"Dynamic Epistemic Logic (Synthese Library, 337)" - читать интересную книгу автора (Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi)