The logic of knights, knaves, normals and mutes

Aszalós László: The logic of knights, knaves, normals and mutes. In: Acta cybernetica, (14) 4. pp. 533-540. (2000)

[thumbnail of cybernetica_014_numb_004_533-540.pdf]
Cikk, tanulmány, mű

Download (553kB) | Preview


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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2000
Volume: 14
Number: 4
ISSN: 0324-721X
Page Range: pp. 533-540
Language: English
Place of Publication: Szeged
Related URLs:
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: 540. p. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 14. 10:15

Actions (login required)

View Item View Item