K. Jon Barwise
According to our database^{1},
K. Jon Barwise
authored at least 34 papers
between 1969 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on id.loc.gov

on dnb.info

on isni.org
On csauthors.net:
Bibliography
1999
J. Symb. Log., 1999
1998
J. Philos. Log., 1998
An Architecture for Heterogeneous Reasoning (Invited Talk).
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK98), 1998
1997
Notre Dame J. Formal Log., 1997
1996
Vicious circles  on the mathematics of nonwellfounded phenomena.
CSLI lecture notes series 60, CSLI, ISBN: 9781575860091, 1996
1995
Log. J. IGPL, 1995
1993
J. Log. Comput., 1993
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993
Proceedings of the Conceptual Graphs for Knowledge Representation, 1993
The language of firstorder logic  including the Macintosh version of Tarski's world 4.0, Third Edition.
CSLI lecture notes series 23, CSLI, ISBN: 9780937073995, 1993
1991
Minds Mach., 1991
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: 9780937073339, 1989
1988
J. Symb. Log., 1988
Three Views of Common Knowledge.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988
1986
Notre Dame J. Formal Log., 1986
J. Symb. Log., 1986
1983
J. Symb. Log., 1983
J. Symb. Log., 1983
1981
Arch. Math. Log., 1981
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
J. Philos. Log., 1979
1978
J. Symb. Log., 1978
J. Symb. Log., 1978
1977
J. Symb. Log., 1977
J. Symb. Log., 1977
1976
J. Symb. Log., 1976
1973
J. Symb. Log., 1973
1972
J. Symb. Log., 1972
1971
J. Symb. Log., 1971
1969
J. Symb. Log., 1969
J. Symb. Log., 1969