| 1986 | A Choppy Logic Roni Rosner, Amir Pnueli |
| 1986 | A Complete Logical Calculus for Record Structures Representing Linguistic Information William C. Rounds, Robert T. Kasper |
| 1986 | A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture). Anil Nerode |
| 1986 | A Propositional Model Logic of Time Intervals Joseph Y. Halpern, Yoav Shoham |
| 1986 | A Semantically Based Proof System for Partial Correctness and Deadlock in CSP Stephen D. Brookes |
| 1986 | A Sheaf-Theoretic Model of Concurrency Luís Monteiro, Fernando C. N. Pereira |
| 1986 | A Timely Resolution Martín Abadi, Zohar Manna |
| 1986 | Algorithm Development in the Calculus of Constructions Christine Mohring |
| 1986 | An Algebraic Model of Parallel Execution of Logic Programs Lennart Beckman, Rune Gustavsson, Annika Wærn |
| 1986 | An Analysis of Girard's Paradox Thierry Coquand |
| 1986 | An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) Moshe Y. Vardi, Pierre Wolper |
| 1986 | An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic Michael C. Browne |
| 1986 | Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories Dominique Perrin, Paul E. Schupp |
| 1986 | Automatic Proofs by Induction in Equational Theories Without Constructors Jean-Pierre Jouannaud, Emmanuel Kounalis |
| 1986 | Computing Unification Algorithms Claude Kirchner |
| 1986 | Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) E. Allen Emerson, Chin-Laung Lei |
| 1986 | Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation Ian A. Mason |
| 1986 | Floyd-Hoare Logic Defines Semantics: Preliminary Version Albert R. Meyer |
| 1986 | Formalized Metareasoning in Type Theory Todd B. Knoblock, Robert L. Constable |
| 1986 | Good Rewrite Strategies for FP Joseph Y. Halpern, John H. Williams, Edward L. Wimmers |
| 1986 | How Uncomputable is General Circumscription? (Extended Abstract) John S. Schlipf |
| 1986 | Inductive Reasoning with Incomplete Specifications (Preliminary Report) Deepak Kapur, David R. Musser |
| 1986 | Infinite Objects in Type Theory Nax Paul Mendler, Prakash Panangaden, Robert L. Constable |
| 1986 | Levels of Knowledge in Distributed Computing Rohit Parikh |
| 1986 | Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) John Alan Robinson |
| 1986 | On Mechanical Theorem Proving in Minkowskian Plane Geometry Shang-Ching Chou, Hai-Ping Ko |
| 1986 | On Translating Lambda Terms into Combinators; The Basis Problem Richard Statman |
| 1986 | On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems Johann A. Makowsky, Ildikó Sain |
| 1986 | Orderings for Equational Proofs Leo Bachmair, Nachum Dershowitz, Jieh Hsiang |
| 1986 | Probabilistic Verification by Tableaux Amir Pnueli, Lenore D. Zuck |
| 1986 | Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986 |
| 1986 | Program Correctness on Finite Fields László Csirmaz, Bradd Hart |
| 1986 | Proof of Translation in Natural Semantics Joëlle Despeyroux |
| 1986 | Quantitative and Qualitative Semantics (Abstract of Invited Lecture) Jean-Yves Girard |
| 1986 | Reasoning with Continuations Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba |
| 1986 | Strong Bisimulation of State Automata David B. Benson, Ofer Ben-Shachar |
| 1986 | The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations David A. Plaisted |
| 1986 | The Design and Implementations of Intuit J. Shultis |
| 1986 | The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo |
| 1986 | The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains Carl A. Gunter |
| 1986 | Towards Deductive Synthesis of Dataflow Networks Bengt Jonsson, Zohar Manna, Richard J. Waldinger |
| 1986 | True Relative Completeness of an Axiom System for the Language L4 (Abridged) Steven M. German, Edmund M. Clarke, Joseph Y. Halpern |
| 1986 | Type inference and logical relations Mario Coppo, Maddalena Zacchi |