A Postscript to a Completeness Proof for Johan

We use our paper ‘A Complete Epistemic Logic for Multiple Agents’ ([7] as a demonstration of Johan’s influence on our work on epistemic logic: it uses several techniques and tools that in many ways go back to his early work on modal logic. We then end with two personal reflections

[1]  Joseph Y. Halpern,et al.  A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.

[2]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[3]  Wiebe van der Hoek.  Systems for Knowledge and Beliefs , 1990, JELIA.

[4]  W. van der Hoek,et al.  A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge , 1996 .

[5]  Y HalpernJoseph,et al.  What can machines know , 1992 .

[6]  John-Jules Ch. Meyer,et al.  Making Some Issues of Implicit Knowledge Explicit , 1992, Int. J. Found. Comput. Sci..

[7]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[8]  Maarten de Rijke,et al.  Generalized quantifiers and modal logic , 1993, J. Log. Lang. Inf..

[9]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[10]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[11]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[12]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[13]  J.-J Ch,et al.  Group Knowledge Isn ’ t Always Distributed , 2022 .