01179nam0-2200433---450-99000858699040332120081110162247.0978-1-4020-5838-7rilegato9781402069086brossura000858699FED01000858699(Aleph)000858699FED0100085869920071121d2007----km-y0itay50------baengNLa-------001yyDynamic epistemic logicHans van Ditmarsch, Wieve van der Hoek, Barteld KooiDordrechtSpringerc2007xi, 282 p.ill.24 cmSynthese library337LogicaLogicaRicorsività12122Ditmarsch,Hans : van307524Hoek,Wiebe : van der307525Kooi,BarteldITUNINARICAUNIMARCBK990008586990403321C-25-(33722147MA17-317D.S.F. 9091FI1MA1FI103B4803B70Dynamic epistemic logic710366UNINA