The logic of knights, knaves, normals and mutes

  • László Aszalós

Abstract

R. 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.

Downloads

Download data is not yet available.
Published
2000-01-01
How to Cite
Aszalós, L. (2000). The logic of knights, knaves, normals and mutes. Acta Cybernetica, 14(4), 533-540. Retrieved from http://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3548
Section
Regular articles