We stand with Ukraine

We stand with Ukraine

K. Jon Barwise

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

1999

Interpolation, Preservation, and Pebble Games.

[BibT_eX]

[DOI]

,

Johan van Benthem

J. Symb. Log., 1999

1998

Modal Correspondence for Models.

[BibT_eX]

[DOI]

,

Lawrence S. Moss

J. Philos. Log., 1998

An Architecture for Heterogeneous Reasoning (Invited Talk).

[BibT_eX]

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

1997

Information and Impossibilities.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1997

1996

Vicious circles - on the mathematics of non-wellfounded phenomena.

[BibT_eX]

,

Lawrence S. Moss

CSLI lecture notes series 60, CSLI, ISBN: 978-1-57586-009-1, 1996

1995

On the Logic of Information Flow.

[BibT_eX]

[DOI]

,

,

Chrysafis Hartonas

Log. J. IGPL, 1995

1993

Editorial.

[BibT_eX]

[DOI]

J. Log. Comput., 1993

Imperfect information flow

[BibT_eX]

[DOI]

,

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

Heterogeneous Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

,

John Etchemendy

CSLI lecture notes series 23, CSLI, ISBN: 978-0-937073-99-5, 1993

1991

Book reviews.

[BibT_eX]

[DOI]

Kären Wieckert

,

Nino B. Cocchiarella

,

Minds Mach., 1991

Information Links in Domain Theory.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Hyperproof: An Excursion in Situated Logic.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

The situation in logic.

[BibT_eX]

CSLI lecture notes series 17, CSLI, ISBN: 978-0-937073-33-9, 1989

1988

Logic and Linguistics Meeting, Stanford, 1987.

[BibT_eX]

[DOI]

,

Richmond H. Thomason

J. Symb. Log., 1988

Three Views of Common Knowledge.

[BibT_eX]

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

1986

Information and circumstance.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1986

Meeting of the Association for Symbolic Logic: Stanford, California, 1985.

[BibT_eX]

[DOI]

,

Solomon Feferman

,

J. Symb. Log., 1986

1983

Meeting of the Association for Symbolic Logic: San Francisco, 1981.

[BibT_eX]

[DOI]

,

Robert L. Vaught

,

Yiannis N. Moschovakis

J. Symb. Log., 1983

Meeting of the Association for Symbolic Logic: Milwaukee, 1981.

[BibT_eX]

[DOI]

,

Robert I. Soare

,

Terrence Millar

J. Symb. Log., 1983

1981

The role of the Omitting Types Theorem in infinitary logic.

[BibT_eX]

[DOI]

Arch. Math. Log., 1981

Some Computational Aspects of Situation Semantics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

,

,

H. Jerome Keisler

,

,

Yiannis N. Moschovakis

J. Symb. Log., 1979

On branching quantifiers in English.

[BibT_eX]

[DOI]

J. Philos. Log., 1979

1978

Global Inductive Definability.

[BibT_eX]

[DOI]

,

Yiannis N. Moschovakis

J. Symb. Log., 1978

Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977.

[BibT_eX]

[DOI]

,

,

Joseph S. Ullian

J. Symb. Log., 1978

1977

Meeting of the Association for Symbolic Logic: Reno, 1976.

[BibT_eX]

[DOI]

Solomon Feferman

,

,

J. Symb. Log., 1977

On Moschovakis Closure Ordinals.

[BibT_eX]

[DOI]

J. Symb. Log., 1977

1976

An Introduction to Recursively Saturated and Resplendent Models.

[BibT_eX]

[DOI]

,

John S. Schlipf

J. Symb. Log., 1976

1973

Meeting of the Association for Symbolic Logic.

[BibT_eX]

[DOI]

,

J. Symb. Log., 1973

1972

The Hanf Number of Second Order Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1972

1971

The Next Admissible Set.

[BibT_eX]

[DOI]

,

,

Yiannis N. Moschovakis

J. Symb. Log., 1971

1969

Applications of Strict Pi<sup>1</sup><sub>1</sub> Predicates to Infinitary Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1969

Infinitary Logic and Admissible Sets.

[BibT_eX]

[DOI]

J. Symb. Log., 1969

Loading...