The logic of knights, knaves, normals and mutes

Aszalós, László: The logic of knights, knaves, normals and mutes. 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
Page Range: pp. 533-540
ISSN: 0324-721X
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