The logic of knights, knaves, normals and mutes
AbstractR. M. Smullyan wrote in his book about islands, knights and knaves. The knights always tell the truth and the knaves axe always lying. Instead of say we shall examine the can say modal operator. W e show the soundness and the completeness of this logic.
Download data is not yet available.
How to Cite
Aszalós, L. (2000). The logic of knights, knaves, normals and mutes. Acta Cybernetica, 14(4), 533-540. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3548