default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDK. Jon Barwise
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1996
[b3]Jon Barwise, Lawrence S. Moss:
Vicious circles - on the mathematics of non-wellfounded phenomena. CSLI lecture notes series 60, CSLI 1996, ISBN 978-1-57586-009-1, pp. I-X, 1-390- 1993
- [b2]Jon Barwise, John Etchemendy:
The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition. CSLI lecture notes series 23, CSLI 1993, ISBN 978-0-937073-99-5, pp. I-XIV, 1-313 - 1989
- [b1]Jon Barwise:
The situation in logic. CSLI lecture notes series 17, CSLI 1989, ISBN 978-0-937073-33-9, pp. I-XVI, 1-327
Journal Articles
- 1999
- [j24]Jon Barwise, Johan van Benthem:
Interpolation, Preservation, and Pebble Games. J. Symb. Log. 64(2): 881-903 (1999) - 1998
- [j23]Jon Barwise, Lawrence S. Moss:
Modal Correspondence for Models. J. Philos. Log. 27(3): 275-294 (1998) - 1997
- [j22]Jon Barwise:
Information and Impossibilities. Notre Dame J. Formal Log. 38(4): 488-515 (1997) - 1995
- [j21]Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas
:
On the Logic of Information Flow. Log. J. IGPL 3(1): 7-50 (1995) - 1993
- [j20]Jon Barwise:
Editorial. J. Log. Comput. 3(2): 113-114 (1993) - 1991
- [j19]Kären Wieckert, Nino B. Cocchiarella, Jon Barwise:
Book reviews. Minds Mach. 1(3): 343-353 (1991) - 1988
- [j18]K. Jon Barwise, Richmond H. Thomason:
Logic and Linguistics Meeting, Stanford, 1987. J. Symb. Log. 53(4): 1275-1282 (1988) - 1986
- [j17]Jon Barwise, Solomon Feferman, David Israel:
Meeting of the Association for Symbolic Logic: Stanford, California, 1985. J. Symb. Log. 51(3): 832-862 (1986) - [j16]Jon Barwise:
Information and circumstance. Notre Dame J. Formal Log. 27(3): 324-338 (1986) - 1983
- [j15]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) - [j14]Jon Barwise, Robert I. Soare, Terrence Millar:
Meeting of the Association for Symbolic Logic: Milwaukee, 1981. J. Symb. Log. 48(2): 514-518 (1983) - 1981
- [j13]Jon Barwise:
The role of the Omitting Types Theorem in infinitary logic. Arch. Math. Log. 21(1): 55-68 (1981) - 1979
- [j12]Jon Barwise:
On branching quantifiers in English. J. Philos. Log. 8(1): 47-80 (1979) - [j11]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
- [j10]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) - [j9]Jon Barwise, Yiannis N. Moschovakis:
Global Inductive Definability. J. Symb. Log. 43(3): 521-534 (1978) - 1977
- [j8]Solomon Feferman, Jon Barwise, Leo Harrington:
Meeting of the Association for Symbolic Logic: Reno, 1976. J. Symb. Log. 42(1): 156-160 (1977) - [j7]Jon Barwise:
On Moschovakis Closure Ordinals. J. Symb. Log. 42(2): 292-296 (1977) - 1976
- [j6]Jon Barwise, John S. Schlipf:
An Introduction to Recursively Saturated and Resplendent Models. J. Symb. Log. 41(2): 531-536 (1976) - 1973
- [j5]Anil Nerode, K. Jon Barwise:
Meeting of the Association for Symbolic Logic. J. Symb. Log. 38(2): 348-358 (1973) - 1972
- [j4]K. Jon Barwise:
The Hanf Number of Second Order Logic. J. Symb. Log. 37(3): 588-594 (1972) - 1971
- [j3]K. Jon Barwise, Robin O. Gandy, Yiannis N. Moschovakis:
The Next Admissible Set. J. Symb. Log. 36(1): 108-120 (1971) - 1969
- [j2]Jon Barwise:
Infinitary Logic and Admissible Sets. J. Symb. Log. 34(2): 226-252 (1969) - [j1]Jon Barwise:
Applications of Strict Pi11 Predicates to Infinitary Logic. J. Symb. Log. 34(3): 409-423 (1969)
Conference and Workshop Papers
- 1998
- [c7]Jon Barwise:
An Architecture for Heterogeneous Reasoning (Invited Talk). TARK 1998: 1-14 - 1993
- [c6]Jon Barwise:
Heterogeneous Reasoning. ICCS 1993: 64-74 - [c5]Jon Barwise, Jerry Seligman:
Imperfect information flow. LICS 1993: 252-260 - 1991
- [c4]Jon Barwise:
Information Links in Domain Theory. MFPS 1991: 168-192 - 1990
- [c3]Jon Barwise:
Hyperproof: An Excursion in Situated Logic. NACLP 1990: 779-787 - 1988
- [c2]Jon Barwise:
Three Views of Common Knowledge. TARK 1988: 365-379 - 1981
- [c1]Jon Barwise:
Some Computational Aspects of Situation Semantics. ACL 1981: 109-111
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
