| * | 1999 |
|---|
| 25 | | Jon Barwise,
Johan van Benthem:
Interpolation, Preservation, and Pebble Games.
J. Symb. Log. 64(2): 881-903 (1999) |
| 1998 |
|---|
| 24 | | Jon Barwise:
An Architecture for Heterogeneous Reasoning (Invited Talk).
TARK 1998: 1-14 |
| 1997 |
|---|
| 23 | | Jon Barwise:
Information and Impossibilities.
Notre Dame Journal of Formal Logic 38(4): 488-515 (1997) |
| 1995 |
|---|
| 22 | EE | Jon Barwise,
Dov M. Gabbay,
Chrysafis Hartonas:
On the Logic of Information Flow.
Logic Journal of the IGPL 3(1): 7-50 (1995) |
| 1993 |
|---|
| 21 | EE | Jon Barwise:
Heterogeneous Reasoning.
ICCS 1993: 64-74 |
| 20 | | Jon Barwise,
Jerry Seligman:
Imperfect information flow
LICS 1993: 252-260 |
| 19 | | Jon Barwise:
Editorial.
J. Log. Comput. 3(2): 113-114 (1993) |
| 1991 |
|---|
| 18 | EE | Jon Barwise:
Information Links in Domain Theory.
MFPS 1991: 168-192 |
| 1990 |
|---|
| 17 | | Jon Barwise:
Hyperproof: An Excursion in Situated Logic.
NACLP 1990: 779-787 |
| 1988 |
|---|
| 16 | | Jon Barwise:
Three Views of Common Knowledge.
TARK 1988: 365-379 |
| 15 | | K. Jon Barwise,
Richmond H. Thomason:
Logic and Linguistics Meeting, Stanford, 1987.
J. Symb. Log. 53(4): 1275-1282 (1988) |
| 1986 |
|---|
| 14 | | Jon Barwise,
Solomon Feferman,
David Israel:
Meeting of the Association for Symbolic Logic: Stanford, California, 1985.
J. Symb. Log. 51(3): 832-862 (1986) |
| 1983 |
|---|
| 13 | | Jon Barwise,
Robert L. Vaught,
Yiannis N. Moschovakis:
Meeting of the Association for Symbolic Logic: San Francisco, 1981.
J. Symb. Log. 48(2): 505-513 (1983) |
| 12 | | Jon Barwise,
Robert I. Soare,
Terrence Millar:
Meeting of the Association for Symbolic Logic: Milwaukee, 1981.
J. Symb. Log. 48(2): 514-518 (1983) |
| 1979 |
|---|
| 11 | | John Addison,
Jon Barwise,
H. Jerome Keisler,
Kenneth Kunen,
Yiannis N. Moschovakis:
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.
J. Symb. Log. 44(3): 469-480 (1979) |
| 1978 |
|---|
| 10 | | Jon Barwise,
Kenneth Kunen,
Joseph S. Ullian:
Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977.
J. Symb. Log. 43(2): 365-372 (1978) |
| 9 | | Jon Barwise,
Yiannis N. Moschovakis:
Global Inductive Definability.
J. Symb. Log. 43(3): 521-534 (1978) |
| 1977 |
|---|
| 8 | | Solomon Feferman,
Jon Barwise,
Leo Harrington:
Meeting of the Association for Symbolic Logic: Reno, 1976.
J. Symb. Log. 42(1): 156-160 (1977) |
| 7 | | Jon Barwise:
On Moschovakis Closure Ordinals.
J. Symb. Log. 42(2): 292-296 (1977) |
| 1976 |
|---|
| 6 | | Jon Barwise,
John S. Schlipf:
An Introduction to Recursively Saturated and Resplendent Models.
J. Symb. Log. 41(2): 531-536 (1976) |
| 1973 |
|---|
| 5 | | Anil Nerode,
K. Jon Barwise:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 38(2): 348-358 (1973) |
| 1972 |
|---|
| 4 | | K. Jon Barwise:
The Hanf Number of Second Order Logic.
J. Symb. Log. 37(3): 588-594 (1972) |
| 1971 |
|---|
| 3 | | K. Jon Barwise,
Robin O. Gandy,
Yiannis N. Moschovakis:
The Next Admissible Set.
J. Symb. Log. 36(1): 108-120 (1971) |
| 1969 |
|---|
| 2 | | Jon Barwise:
Infinitary Logic and Admissible Sets.
J. Symb. Log. 34(2): 226-252 (1969) |
| 1 | | Jon Barwise:
Applications of Strict Pi11 Predicates to Infinitary Logic.
J. Symb. Log. 34(3): 409-423 (1969) |
