K. Jon Barwise

According to our database1, K. Jon Barwise authored at least 34 papers between 1969 and 1999.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1999
Interpolation, Preservation, and Pebble Games.
J. Symb. Log., 1999

1998
Modal Correspondence for Models.
J. Philos. Log., 1998

An Architecture for Heterogeneous Reasoning (Invited Talk).
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

1997
Information and Impossibilities.
Notre Dame J. Formal Log., 1997

1996
Vicious circles - on the mathematics of non-wellfounded phenomena.
CSLI lecture notes series 60, CSLI, ISBN: 978-1-57586-009-1, 1996

1995
On the Logic of Information Flow.
Log. J. IGPL, 1995

1993
Editorial.
J. Log. Comput., 1993

Imperfect information flow
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Heterogeneous Reasoning.
Proceedings of the Conceptual Graphs for Knowledge Representation, 1993

The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition.
CSLI lecture notes series 23, CSLI, ISBN: 978-0-937073-99-5, 1993

1991
Book reviews.
Minds Mach., 1991

Information Links in Domain Theory.
Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990
Hyperproof: An Excursion in Situated Logic.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989
The situation in logic.
CSLI lecture notes series 17, CSLI, ISBN: 978-0-937073-33-9, 1989

1988
Logic and Linguistics Meeting, Stanford, 1987.
J. Symb. Log., 1988

Three Views of Common Knowledge.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

1986
Information and circumstance.
Notre Dame J. Formal Log., 1986

Meeting of the Association for Symbolic Logic: Stanford, California, 1985.
J. Symb. Log., 1986

1983
Meeting of the Association for Symbolic Logic: San Francisco, 1981.
J. Symb. Log., 1983

Meeting of the Association for Symbolic Logic: Milwaukee, 1981.
J. Symb. Log., 1983

1981
The role of the Omitting Types Theorem in infinitary logic.
Arch. Math. Log., 1981

Some Computational Aspects of Situation Semantics.
Proceedings of the 19th Annual Meeting of the Association for Computational Linguistics, Stanford University, Stanford, California, USA, June 29, 1981

1979
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.
J. Symb. Log., 1979

On branching quantifiers in English.
J. Philos. Log., 1979

1978
Global Inductive Definability.
J. Symb. Log., 1978

Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977.
J. Symb. Log., 1978

1977
Meeting of the Association for Symbolic Logic: Reno, 1976.
J. Symb. Log., 1977

On Moschovakis Closure Ordinals.
J. Symb. Log., 1977

1976
An Introduction to Recursively Saturated and Resplendent Models.
J. Symb. Log., 1976

1973
Meeting of the Association for Symbolic Logic.
J. Symb. Log., 1973

1972
The Hanf Number of Second Order Logic.
J. Symb. Log., 1972

1971
The Next Admissible Set.
J. Symb. Log., 1971

1969
Applications of Strict Pi<sup>1</sup><sub>1</sub> Predicates to Infinitary Logic.
J. Symb. Log., 1969

Infinitary Logic and Admissible Sets.
J. Symb. Log., 1969


  Loading...