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