Polina Vinogradova. Formalizing the Unexpected Hanging Paradox: A Classical Surprise. In Andreas Herzig, Jieting Luo, Pere Pardo, editors, Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings. Volume 14156 of Lecture Notes in Computer Science, pages 44-58, Springer, 2023. [doi]
Abstract is missing.