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]
Előnézet
Cikk, tanulmány, mű
cybernetica_014_numb_004_533-540.pdf

Letöltés (553kB) | Előnézet

Absztrakt (kivonat)

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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2000
Kötet: 14
Szám: 4
ISSN: 0324-721X
Oldalak: pp. 533-540
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38510/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: 540. p. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:25
Utolsó módosítás: 2022. jún. 14. 10:15
URI: http://acta.bibl.u-szeged.hu/id/eprint/12647
Bővebben:
Tétel nézet Tétel nézet