| 1988 | Reasoning About Knowledge: A Tutorial. | Joseph Y. Halpern |
| 1988 | Information-Dependent Games: Can Common Sense Be Common Knowledge? | Itzhak Gilboa, David Schmeidler |
| 1988 | Information and Meta Information. | Itzhak Gilboa |
| 1988 | Revisions of Knowledge Systems Using Epistemic Entrenchment. | Peter Grdenfors, David Makinson |
| 1988 | Operational Pointer Semantics: Solution to Self-Referential Puzzles I. | Haim Gaifman |
| 1988 | Reasoning about Knowledge and Probability. | Ronald Fagin, Joseph Y. Halpern |
| 1988 | Knowledge, Representation, and Rational Self-Government. | Jon Doyle |
| 1988 | Complete Information Outcomes without Common Knowledge. | Andrew F. Daughety, Robert Forsythe |
| 1988 | Authentication: A Practical Study in Belief and Action. | Michael Burrows, Martn Abadi, Roger M. Needham |
| 1988 | Common Knowledge and Backward Induction: A Solution to the Paradox. | Cristina Bicchieri |
| 1988 | Three Views of Common Knowledge. | Jon Barwise |
| 1988 | Reasoning about Belief and Knowledge with Self-Reference and Time. | Nicholas Asher |
| 1986 | On Epistemic Logic and Logical Omniscience. | Moshe Y. Vardi |
| 1986 | Paradoxes and Semantic Representation. | Richmond H. Thomason |
| 1986 | Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach". | Tommy Chin-Chiu Tan, Srgio Ribeiro da Costa Werlang |
| 1986 | Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? | Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason |
| 1986 | Logicians Who Reason About Themselves. | Raymond M. Smullyan |
| 1986 | Varieties of Self-Reference. | Brian Cantwell Smith |
| 1986 | The Synthesis of Digital Machines With Provable Epistemic Properties. | Stanley J. Rosenschein, Leslie Pack Kaelbling |
| 1986 | The Consistency of Syntactical Treatments of Knowledge. | Jim des Rivires, Hector J. Levesque |
| 1986 | A Framework for Intuitionistic Modal Logics. | Gordon D. Plotkin, Colin Stirling |
| 1986 | A First Order Theory of Planning, Knowledge, and Action. | Leora Morgenstern |
| 1986 | Reasoning About Knowledge in Artificial Intelligence. | Robert C. Moore |
| 1986 | Realisability Semantics for Error-Tolerant Logics. | John C. Mitchell, Michael J. O'Donnell |
| 1986 | Knowledge and Efficient Computation. | Silvio Micali |