A type of word puzzle that need logic, or sometimes math, to solve them. This category excludes traditional riddles, which usually rely on word tricks, puns or other semantic misunderstandings.
Here's a quick list:
The Old Chestnut node has a lot of logic puzzles; hard interview questions has a lot of very hard logic puzzles.