TY - JOUR AU - Kolany, Adam PY - 2003/01/27 Y2 - 2024/03/29 TI - A general method of solving Smullyan’s puzzles JF - Logic and Logical Philosophy JA - LLP VL - 4 IS - 4 SE - Articles DO - 10.12775/LLP.1996.004 UR - https://apcz.umk.pl/LLP/article/view/LLP.1996.004 SP - 97-103 AB - In this paper we present a general method of solving Smullyan’s puzzles. We do this by showing how a puzzle is translated into Classical Propositional Calculus. ER -