Jon Barwise

Publication Activity (10 Years)

Years Active: 1969-1999
Publications (10 Years): 0

Publications

Jon Barwise, Johan van Benthem
Interpolation, Preservation, and Pebble Games. J. Symb. Log. 64 (2) (1999)
Jon Barwise, Lawrence S. Moss
Modal Correspondence for Models. J. Philos. Log. 27 (3) (1998)
Jon Barwise
An Architecture for Heterogeneous Reasoning (Invited Talk). TARK (1998)
Jon Barwise
Information and Impossibilities. Notre Dame J. Formal Log. 38 (4) (1997)
Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas
On the Logic of Information Flow. Log. J. IGPL 3 (1) (1995)
Jon Barwise
Editorial. J. Log. Comput. 3 (2) (1993)
Jon Barwise, Jerry Seligman
Imperfect information flow LICS (1993)
Jon Barwise
Heterogeneous Reasoning. ICCS (1993)
Jon Barwise
Information Links in Domain Theory. MFPS (1991)
Kären Wieckert, Nino B. Cocchiarella, Jon Barwise
Book reviews. Minds Mach. 1 (3) (1991)
Jon Barwise
Hyperproof: An Excursion in Situated Logic. NACLP (1990)
Jon Barwise
Three Views of Common Knowledge. TARK (1988)
Jon Barwise
Information and circumstance. Notre Dame J. Formal Log. 27 (3) (1986)
Jon Barwise, Solomon Feferman, David Israel
Meeting of the Association for Symbolic Logic: Stanford, California, 1985. J. Symb. Log. 51 (3) (1986)
Jon Barwise, Robert L. Vaught, Yiannis N. Moschovakis
Meeting of the Association for Symbolic Logic: San Francisco, 1981. J. Symb. Log. 48 (2) (1983)
Jon Barwise, Robert I. Soare, Terrence Millar
Meeting of the Association for Symbolic Logic: Milwaukee, 1981. J. Symb. Log. 48 (2) (1983)
Jon Barwise
Some Computational Aspects of Situation Semantics. ACL (1981)
Jon Barwise
The role of the Omitting Types Theorem in infinitary logic. Arch. Math. Log. 21 (1) (1981)
Jon Barwise
On branching quantifiers in English. J. Philos. Log. 8 (1) (1979)
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) (1979)
Jon Barwise, Yiannis N. Moschovakis
Global Inductive Definability. J. Symb. Log. 43 (3) (1978)
Jon Barwise, Kenneth Kunen, Joseph S. Ullian
Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. J. Symb. Log. 43 (2) (1978)
Solomon Feferman, Jon Barwise, Leo Harrington
Meeting of the Association for Symbolic Logic: Reno, 1976. J. Symb. Log. 42 (1) (1977)
Jon Barwise
On Moschovakis Closure Ordinals. J. Symb. Log. 42 (2) (1977)
Jon Barwise, John S. Schlipf
An Introduction to Recursively Saturated and Resplendent Models. J. Symb. Log. 41 (2) (1976)
Jon Barwise
Infinitary Logic and Admissible Sets. J. Symb. Log. 34 (2) (1969)
Jon Barwise
Predicates to Infinitary Logic. J. Symb. Log. 34 (3) (1969)