Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions.

Gregory R. Wheeler Pedro Barahona

Published in: J. Philos. Log. (2012)

Keyphrases

classical logic
modal logic
answer questions
sound and complete axiomatization
logic synthesis
predicate logic
logic programming
first order logic
automated reasoning
search space
defeasible logic
open questions
database systems
formal theory
deontic logic
case study
website