| 1986 | A First Order Theory of Planning, Knowledge, and Action. Leora Morgenstern |
| 1986 | A Framework for Intuitionistic Modal Logics. Gordon D. Plotkin, Colin Stirling |
| 1986 | A Resolution Method for Quantified Modal Logics of Knowledge and Belief. Christophe Geissler, Kurt Konolige |
| 1986 | A Theory of Higher Order Probabilities. Haim Gaifman |
| 1986 | Foundations of Knowledge for Distributed Systems. Michael J. Fischer, Neil Immerman |
| 1986 | Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. Cynthia Dwork, Yoram Moses |
| 1986 | Knowledge and Efficient Computation. Silvio Micali |
| 1986 | Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. Ronald Fagin, Moshe Y. Vardi |
| 1986 | Logicians Who Reason About Themselves. Raymond M. Smullyan |
| 1986 | Mental Situation Calculus. John McCarthy |
| 1986 | On Epistemic Logic and Logical Omniscience. Moshe Y. Vardi |
| 1986 | On Play by Means of Computing Machines. Nimrod Megiddo, Avi Wigderson |
| 1986 | Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason |
| 1986 | Paradoxes and Semantic Representation. Richmond H. Thomason |
| 1986 | Pegs and Alecs. Fred Landman |
| 1986 | Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986 Joseph Y. Halpern |
| 1986 | Realisability Semantics for Error-Tolerant Logics. John C. Mitchell, Michael J. O'Donnell |
| 1986 | Reasoning About Knowledge in Artificial Intelligence. Robert C. Moore |
| 1986 | Reasoning About Knowledge in Economics. Robert J. Aumann |
| 1986 | Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic. Jaakko Hintikka |
| 1986 | Reasoning About Knowledge: An Overview. Joseph Y. Halpern |
| 1986 | Steps Towards a First-Order Logic of Explicit and Implicit Belief. Gerhard Lakemeyer |
| 1986 | Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach". Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang |
| 1986 | The Consistency of Syntactical Treatments of Knowledge. Jim des Rivières, Hector J. Levesque |
| 1986 | The Knower's Paradox and Representational Theories of Attitudes. Nicholas Asher, Johan A. W. Kamp |
| 1986 | The Logic of Distributed Protocols. Richard E. Ladner, John H. Reif |
| 1986 | The Synthesis of Digital Machines With Provable Epistemic Properties. Stanley J. Rosenschein, Leslie Pack Kaelbling |
| 1986 | Theoretical Foundations for Belief Revision. João P. Martins, Stuart C. Shapiro |
| 1986 | Varieties of Self-Reference. Brian Cantwell Smith |
| 1986 | What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. Kurt Konolige |