Knowledge and the Logic of Local Propositions.

Kai Engelhardt Ron van der Meyden Yoram Moses Knowledge and the Logic of Local Propositions. 29-41 1998 conf/tark/1998 TARK db/conf/tark/tark1998.html#EngelhardtMM98