L. Aszalós, “The logic of knights, knaves, normals and mutes”, Acta Cybern, vol. 14, no. 4, pp. 533-540, Jan. 2000.