Portal de Periódicos da CAPES

The logic of knights, knaves, normals and mutes

2001; University of Szeged; Volume: 14; Issue: 4 Linguagem: Inglês

2676-993X

László Aszalós,

Historical Geography and Cartography

R. M. Smullyan wrote in his book about islands, knights and knaves. The knights always tell the truth and the knaves are always lying. Instead of say we shall examine the can say modal operator. We show the soundness and the completeness of this logic.