TY - JOUR AU - C. Dima AU - C. Enea TI - Nondeduciblity on Strategies in the Temporal Logic of Knowledge JO - Mathematica balkanica PY - 2011 SP - 219 VL - 25 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MABA_2011_25_3_a0/ ID - MABA_2011_25_3_a0 ER -