Aszalós László: The logic of knights, knaves, normals and mutes. In: Acta cybernetica, (14) 4. pp. 533-540. (2000)
Preview |
Cikk, tanulmány, mű
cybernetica_014_numb_004_533-540.pdf Download (553kB) | Preview |
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.
| 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: | http://acta.bibl.u-szeged.hu/38510/ |
| 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 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/12647 |
Actions (login required)
 |
View Item |
