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)

[img] Cikk, tanulmány, mű

Download (553kB)


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: angol
Uncontrolled Keywords: Természettudomány
Additional Information: Bibliogr.: 540. p.; Abstract
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2018. Mar. 27. 10:00

Actions (login required)

View Item View Item