| Interpolation, Preservation, and Pebble Games | 10 | 1.90 | 1999 |
| An Architecture for Heterogeneous Reasoning (Invited Talk) | 0 | 0.34 | 1998 |
| Modal Correspondence for Models | 5 | 0.77 | 1998 |
| Information and Impossibilities | 9 | 1.02 | 1997 |
| On the Logic of Information Flow | 16 | 1.15 | 1995 |
| Heterogeneous Reasoning | 5 | 0.82 | 1993 |
| Information Links in Domain Theory | 4 | 1.79 | 1991 |
| Hyperproof: an excursion in situated logic | 0 | 0.34 | 1990 |
| Three Views of Common Knowledge | 42 | 7.50 | 1988 |
| Information and circumstance. | 4 | 0.90 | 1986 |
| Meeting of the Association for Symbolic Logic: Stanford, California, 1985 | 0 | 0.34 | 1986 |
| Meeting of the Association for Symbolic Logic: San Francisco, 1981 | 0 | 0.34 | 1983 |
| The role of the Omitting Types Theorem in infinitary logic | 3 | 0.60 | 1981 |
| Some computational aspects of situation semantics | 3 | 2.11 | 1981 |
| The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic | 0 | 0.34 | 1979 |
| On branching quantifiers in English. | 37 | 6.81 | 1979 |
| Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977 | 0 | 0.34 | 1978 |
| Global Inductive Definability | 8 | 2.50 | 1978 |
| On Moschovakis Closure Ordinals | 73 | 13.37 | 1977 |
| Meeting of the Association for Symbolic Logic: Reno, 1976 | 0 | 0.34 | 1977 |
| Introduction To Recursively Saturated And Resplendent Models | 25 | 8.04 | 1976 |
| Applications of Strict Pi11 Predicates to Infinitary Logic | 1 | 0.35 | 1969 |
| Infinitary Logic And Admissible Sets | 22 | 3.56 | 1969 |
