What Makes a Knight?

摘要

Using the framework of assertoric semantics, we extended Smullyan's notion of a (classical) knight so that the notion is also defined for non classical languages like L in which we have the power to talk about all four possible answers of a knight, via the predicates 'T', 'F', 'B?' and 'N', and in which we may ask arbitrary self referential questions to the knight involving these predicates. We studied a notion of a knight with two non classical answers, 'neither' and 'both' and we used this conception to formulate a new Smullyan like riddle, which we called the four roads riddle, and we showed that it can be solved in 1 question by this paper's notion of a knight.