K. Jon Barwise

Jon Barwise

	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		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		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		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)

Coauthor Index

1	John Addison	[11]
2	Johan van Benthem	[25]
3	Solomon Feferman	[8] [14]
4	Dov M. Gabbay	[22]
5	Robin O. Gandy	[3]
6	Leo Harrington	[8]
7	Chrysafis Hartonas	[22]
8	David Israel	[14]
9	H. Jerome Keisler	[11]
10	Kenneth Kunen	[10] [11]
11	Terrence Millar	[12]
12	Yiannis N. Moschovakis	[3] [9] [11] [13]
13	Anil Nerode	[5]
14	John S. Schlipf	[6]
15	Jerry Seligman	[20]
16	Robert I. Soare	[12]
17	Richmond H. Thomason	[15]
18	Joseph S. Ullian	[10]
19	Robert L. Vaught	[13]

Colors in the list of coauthors