Formalization of two puzzles involving knowledge. Unpublished note (1978)

by J McCarthy