Julian Rosen's recent post reminded me about something which has been bothering me.
In response to this post, the hat-problem tag was made a synonym of logic-puzzle. I think that this decision should be reversed: hat-problems are their own interesting category of logic puzzles, which should have a tag wiki introducing the common themes. People might want to search for these types of puzzles in particular, and not having an independent hat-problem tag makes this difficult.
The reasoning for the synonymization was that every hat problem is solved with logical reasoning. There are many categories of tags where a similar argument can be made, like liars,weighing,sudoku,game,tiling, etc, and none of these are synonyms of logic-puzzle. Even though every hat-problem is a logic-puzzle, not every logic-puzzle is a hat-problem, so these should not be synonyms.
There are several hat problems on this site (each word is a different link), and there will likely be more in the future, so I think they deserve their own tag. What do you all think?