Rana Barua Suman Roy Chaochen Zhou Completeness of neighbourhood logic. 271-295 2000 10 J. Log. Comput. 2 db/journals/logcom/logcom10.html#BaruaRC00