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 are always lying. Instead of say we shall examine the can say modal operator. We show the soundness and the completeness of this logic.