The logic of knights, knaves, normals and mutes
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.
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2000
|
| Sorozat: | Acta cybernetica
14 No. 4 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12647 |
| LEADER | 00996nab a2200217 i 4500 | ||
|---|---|---|---|
| 001 | acta12647 | ||
| 005 | 20220614101534.0 | ||
| 008 | 161015s2000 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Aszalós László | |
| 245 | 1 | 4 | |a The logic of knights, knaves, normals and mutes |h [elektronikus dokumentum] / |c Aszalós László |
| 260 | |c 2000 | ||
| 300 | |a 533-540 | ||
| 490 | 0 | |a Acta cybernetica |v 14 No. 4 | |
| 520 | 3 | |a 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. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Kibernetika | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12647/1/cybernetica_014_numb_004_533-540.pdf |z Dokumentum-elérés |