Table of contents for the series on Certified Knights and Knaves puzzles

1. Puzzle #1
   • In which we solve our first puzzle using three different formal approaches all based on propositional logic
2. Puzzle #2
   • In which we solve our second puzzle with a careful translation of negation in the puzzle statement
3. Puzzle #3 - Going backwards
   • In which we solve our third puzzle in the reverse direction
4. Puzzle #4 - Going backwards again
   • In which we solve our fourth puzzle with the same truth-table approach as the one we used in Puzzle #3
5. Puzzle #5 - With two natives and a two-step solution
   • In which we solve our fifth puzzle, involving two natives, and which requires one extra reasoning step after building a truth table
6. Puzzle #6 - Analysis
   • In which we study our sixth puzzle and analyze its requirements
7. Building truth tables in JavaScript
   • In which we study how to use logical operators in JavaScript and compute columns of a truth table by combining other columns with Boolean connectives
8. Puzzle #6 - Finding solutions using JavaScript
   • In which we complete our JavaScript program (started in Part 7) to solve Puzzle #6
9. Puzzle #6 - (At least) nine distinct solutions
   • In which we discuss the solutions fo Puzzle #6 that we found using our JavaScript program
10. Puzzle #6 - A new variant
    • In which we discuss and solve a newly created puzzle that is a one-statement variant of Puzzle #6
11. A new puzzle
    • In which we state and solve a completely new puzzle