Mark Levene George Loizou A Modal Logic Formalism for Distributed and Parallel Knowledge Bases. 11-27 1993 1 Parallel Algorithms Appl. 1 http://dx.doi.org/10.1080/10637199308915428 db/journals/paapp/paapp1.html#LeveneL93