Knights and Knaves are a variant of logic puzzles involving figuring out a solution to some logical constraints.

Is there a book which treats these issues formally, in detail? I am hoping it would formalize the notion of propositions, predicates and talk about second order logic (where knights and knaves start referring to their own statements) and possibly even deducing solutions with something like Prolog, or formalizing them in something like Coq

  • 2
    $\begingroup$ What is the name of this book?. $\endgroup$ – vadim123 Jun 11 '17 at 2:06
  • $\begingroup$ The "self referential" part of the knights and knaves problem isn't second order logic, still just plain old simple propositional logic. $\endgroup$ – DanielV Jun 11 '17 at 2:57
  • $\begingroup$ @vadim123 I don't see any formalization there. Did you mean "Forever Undecided"? $\endgroup$ – Agnishom Chattopadhyay Jun 11 '17 at 2:59
  • 1
    $\begingroup$ You may find this useful: dcproof.com/LiarParadox2.htm It isn't about Knight and Knaves, It is about the original all-Cretans-are-Liars paradox. Yes, it makes use of a "truth" predicate T, but it seems to work. $\endgroup$ – Dan Christensen Jun 11 '17 at 19:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.