Knights and knaves

Knights and knaves are a type of logic puzzle devised by Raymond Smullyan.

On a fictional island, all inhabitants are either knights, who always tell the truth, or knaves, who always lie. So, for example, no inhabitant can say:

"I am a knave."

The puzzles involve a visitor to the island who meets small groups of inhabitants, and must determine their type from their statements.