There is a lot of fuzz about this Cheryls Birthday thing - and I understood the solution after a couple of deeper thoughts about it.
But what I am more interested in is; is the puzzle solvable using a form of formal logic?
During university (CS) I had many courses about formal logic and love the concept of wiriting down statements, and actually calculating a logical answer to it.
Is this doable with the infamous Cheryls Birthday puzzle?
Edit: Please note that I do not need an explanation of the puzzle, the solution, or how and why the participants can or can not say what they say. I am specifically looking for a solution that uses formal logic.