1 Hit in 1.0 sec

Sharvy's Lucy and Benjamin Puzzle

Thomas Forster
2008 Studia Logica: An International Journal for Symbolic Logic  
Sharvy's puzzle concerns a situation in which common knowledge of two parties is obtained by repeated observation each of the other, no fixed point being reached in finite time.  ...  Here it is. 1 The Lucy and Benjamin Puzzle Two people-Lucy and Benjamin 2 -are placed (each in ignorance of the other's presence there) on a bush-clad island where there is a blackboard and a large supply  ...  Sharvy challenges us to formulate H. 3 Lucy and Benjamin are both on the island (H 0 ) and thereafter, for i ≥ 1 Benjamin knows H 2i (H 2i+1 ) and Lucy knows H 2i−1 (H 2i ) Lucy and Benjamin  ... 
doi:10.1007/s11225-008-9153-2 fatcat:2hnlc7isizdqrn6buihxdknosu