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)

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