{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:56:41Z","timestamp":1760237801991,"version":"build-2065373602"},"reference-count":40,"publisher":"MDPI AG","issue":"7","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>Truthteller liar puzzles are popular in science and also in recreational mathematics. In this paper, we compare five different types of puzzles. In each of our puzzles, the persons of the puzzle may state some statements about their types. In strong truthteller\u2013strong liar puzzles (SS puzzles), each statement of a truthteller must be true and each statement of a liar must be false, and there is no third type of person in these puzzles. It is known that there is no good SS puzzle, where a puzzle is good if it has exactly one solution. In fact, because of symmetry, by flipping the type of person in a solution, another (dual) solution is obtained. Therefore, to break this symmetry, there are various ways to introduce a third type of person, e.g., Mutes and crazies. In SSS puzzles, crazy people may appear, each of whom can tell only a self-contradicting statement. In SSW puzzles, a crazy person may say some additional statements apart from his or her self-contradicting statement. In SSM puzzles, that we investigate here, there can also be some Mute people (as the third type together with truthtellers and liars). We differentiate two types of SSM puzzles. In SSMW puzzles a mute person may be a Mute (type), but he or she could also be either a truthteller or a liar (type). In SSMS puzzles, each person who did not say any statement must be a Mute in the solution. Various examples are presented and it is also highlighted how a puzzle changes from unsolvable to solvable or to a good puzzle when the interpretation, the type of the puzzle changes, i.e., shifted from one to other, and symmetry breaks. Among other data, the number of solvable and good puzzles are counted and compared for the five types when few people appear.<\/jats:p>","DOI":"10.3390\/axioms11070322","type":"journal-article","created":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T11:12:35Z","timestamp":1656760355000},"page":"322","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Comparison of Various Extensions of Strong Truthteller and Strong Liar Puzzles (Mutes and Crazies)"],"prefix":"10.3390","volume":"11","author":[{"given":"Laith","family":"Alzboon","sequence":"first","affiliation":[{"name":"Department of Software Engineering, Al-Ahliyya Amman University, Amman 19328, Jordan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9494-6440","authenticated-orcid":false,"given":"Benedek","family":"Nagy","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Faculty of Arts and Sciences, Eastern Mediterranean University, North Cyprus, Mersin-10, Famagusta 99628, Turkey"}]}],"member":"1968","published-online":{"date-parts":[[2022,7,1]]},"reference":[{"key":"ref_1","unstructured":"Smullyan, R. (1978). What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles, Prentice-Hall."},{"key":"ref_2","unstructured":"Smullyan, R. (1982). The Lady or the Tiger? And Other Logic Puzzles, Alfred A. Knopf."},{"key":"ref_3","unstructured":"Smullyan, R. (2007). The Magic Garden of George B. and Other Logic Puzzles, Polimetrica S.A.S."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Smullyan, R. (2008). Logical Labyrinths, CRC Press.","DOI":"10.1201\/9780429064937"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/s00283-018-9804-8","article-title":"The Entertainer","volume":"40","author":"Henle","year":"2018","journal-title":"Math. Intell."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1080\/10724117.2005.12023687","article-title":"Liars and Truthtellers: Learning Logic from Raymond Smullyan","volume":"13","author":"Holliday","year":"2005","journal-title":"Math Horiz."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Rahman, S., Tulenheimo, T., and Genot, E. (2008). Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox, Springer Science & Business Media.","DOI":"10.1007\/978-1-4020-8468-3"},{"key":"ref_8","unstructured":"Frings, K., Groot, P., and Hubbers, E. (2022). Formalizing and Proving Knights and Knaves Puzzles in Three Valued Logic in Coq. [Bachelor\u2019s Thesis, Radboud University]."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1080\/07468342.2020.1698931","article-title":"Solving knights-and-knaves with one equation","volume":"51","author":"Ciraulo","year":"2020","journal-title":"Coll. Math. J."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"268","DOI":"10.4169\/math.mag.89.4.268","article-title":"Fuzzy knights and knaves","volume":"89","author":"Rosenhouse","year":"2016","journal-title":"Math. Mag."},{"key":"ref_11","first-page":"1","article-title":"IP modeling and the logical puzzles of Raymond Smullyan","volume":"3","author":"Chlond","year":"2003","journal-title":"Trans. Educ."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0010-0277(89)90019-X","article-title":"The psychology of knights and knaves","volume":"31","author":"Rips","year":"1989","journal-title":"Cognition"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0010-0277(90)90054-N","article-title":"Meta-logical problems: Knights, knaves, and Rips","volume":"36","author":"Byrne","year":"1990","journal-title":"Cognition"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"99","DOI":"10.3166\/jancl.12.99-116","article-title":"Automated puzzle solving","volume":"12","year":"2002","journal-title":"J. Appl. Non-Class. Log."},{"key":"ref_15","first-page":"83","article-title":"Solving Mathematical Puzzles: A Challenging Competition for AI","volume":"38","author":"Chesani","year":"2017","journal-title":"AI Mag."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"97","DOI":"10.12775\/LLP.1996.004","article-title":"A general method of solving Smullyan\u2019s puzzles","volume":"4","author":"Kolany","year":"1996","journal-title":"Log. Log. Philos."},{"key":"ref_17","unstructured":"Lusk, E., Wos, L., Overbeek, R., and Boyle, J. (1992). Automated Reasoning: Introduction and Applications, McGraw-Hill."},{"key":"ref_18","first-page":"181","article-title":"Solving Smullyan puzzles with formal systems","volume":"28","author":"Costa","year":"2018","journal-title":"Axiomathes"},{"key":"ref_19","unstructured":"Howse, J., Stapleton, G., Burton, J., and Blake, A. (2018, January 18). Picturing Problems: Solving Logic Puzzles Diagrammatically. Proceedings of the International Workshop on Set Visualization and Reasoning (SetVR 2018), Edinburgh, UK."},{"key":"ref_20","first-page":"57","article-title":"Truth-teller, Liar puzzles and their graphs","volume":"11","author":"Nagy","year":"2003","journal-title":"Cent. Eur. J. Oper. Res."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Alzboon, L., and Nagy, B. (2020). Truth-Teller\u2013Liar Puzzles with Self-Reference. Mathematics, 8.","DOI":"10.3390\/math8020190"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Alzboon, L., and Nagy, B. (2021). Crazy Truth-Teller\u2013Liar Puzzles. Axiomathes, (online first).","DOI":"10.1007\/s10516-021-09546-7"},{"key":"ref_23","first-page":"67","article-title":"SW puzzles and their graphs","volume":"16","author":"Nagy","year":"2003","journal-title":"Acta Cybernet."},{"key":"ref_24","first-page":"59","article-title":"SS-t\u00edpus\u00fa igazmond\u00f3-hazug fejt\u00f6r\u0151k gr\u00e1felm\u00e9leti megk\u00f6zel\u00edt\u00e9sben (SS-type truthteller-liar puzzles and their graphs, in Hungarian with English summary)","volume":"23","author":"Nagy","year":"2006","journal-title":"Alkalm. Mat. Lapok"},{"key":"ref_25","unstructured":"Nagy, B., and K\u00f3sa, M. (February, January 28). Logical Puzzles (Truth-tellers and liars). Proceedings of the 5th International Conference on Applied Informatics, Eger, Hungary."},{"key":"ref_26","first-page":"533","article-title":"The Logic of Knights, Knaves, Normals and Mutes","volume":"14","year":"2000","journal-title":"Acta Cybernet."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1093\/analys\/66.1.10","article-title":"Knights, knaves and unknowable truths","volume":"66","author":"Cook","year":"2006","journal-title":"Analysis"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"297","DOI":"10.4169\/college.math.j.45.4.297","article-title":"Knights, knaves, normals, and neutrals","volume":"45","author":"Rosenhouse","year":"2014","journal-title":"Coll. Math. J."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Nagy, B., and Allwein, G. (2004, January 22\u201324). Diagrams and Non-monotonicity in Puzzles. Proceedings of the International Conference on Theory and Application of Diagram, Cambridge, UK.","DOI":"10.1007\/978-3-540-25931-2_10"},{"key":"ref_30","first-page":"235","article-title":"Duality of logical puzzles of type SW and WS\u2014Their solution using graphs","volume":"15","author":"Nagy","year":"2005","journal-title":"Pure Math. Appl."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Lukowski, P. (2011). Paradoxes, Springer.","DOI":"10.1007\/978-94-007-1476-2"},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s00283-020-09971-3","article-title":"Romantic Mathematical Art: Part II","volume":"42","author":"Henle","year":"2020","journal-title":"Math. Intell."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Yablo, S. (2017). Knights, Knaves, Truth, Truthfulness, Grounding, Tethering, Aboutness, and Paradox. Raymond Smullyan on Self Reference, Springer.","DOI":"10.1007\/978-3-319-68732-2_7"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1093\/mind\/103.409.25","article-title":"The structure of the paradoxes of self-reference","volume":"103","author":"Priest","year":"1994","journal-title":"Mind"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"87","DOI":"10.3726\/CUL012020.0006","article-title":"Analysing the Concept of \u201cParadox\u201d in the Liar Paradox Arguments","volume":"17","author":"Cheruvalath","year":"2020","journal-title":"Cultura"},{"key":"ref_36","unstructured":"Barwise, J., and Etchemendy, J. (1987). The Liar: An Essay on Truth and Circularity, Oxford University Press."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1080\/01445340.2014.922363","article-title":"Buridan\u2019s Solution to the Liar Paradox","volume":"36","year":"2015","journal-title":"Hist. Philos. Log."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1305\/ndjfl\/1093891797","article-title":"Peirce\u2019s paradoxical solution to the Liar\u2019s Paradox","volume":"16","author":"Michael","year":"1975","journal-title":"Notre Dame J. Form. Log."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1093\/analys\/53.4.251","article-title":"Paradox without self-reference","volume":"53","author":"Yablo","year":"1993","journal-title":"Analysis"},{"key":"ref_40","unstructured":"Shasha, D.E. (1998). The Puzzling Adventures of Dr. Ecco, W.H. Freeman."}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/11\/7\/322\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T23:41:45Z","timestamp":1760139705000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/11\/7\/322"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,1]]},"references-count":40,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2022,7]]}},"alternative-id":["axioms11070322"],"URL":"https:\/\/doi.org\/10.3390\/axioms11070322","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2022,7,1]]}}}