The Bulletin of Symbolic Logic

Volume 10, Issue 1, March 2004

  • Jon Barwise, pages 1—1.
  • Introduction, by Akihiro Kanamori, pages 3 — 3.
    •

    Articles
  • Barwise: infinitary logic and admissible sets, by H. Jerome Keisler and Julia F. Knight, pages 4 — 36.
  • Barwise: Abstract model theory and generalized quantifiers, by Jouko Väänänen, pages 37 — 53.
  • Jon Barwise’s papers on natural language semantics, by Keith Devlin, pages 54 — 85.
  • Heterogeneous reasoning and its logic, by Sun-Joo Shin, pages 86 — 106.
    •
  • Reviews, pages 107 — 119.
    •

    In this issue:

  • L. Vigano Labelled non-classical logics, reviewed by Petr Hájek, page 107.
  • G. Boole, The mathematical analysis of logic, reviewed by Risto Vilkko, page 108.
  • S. Fajardo and H. J. Keisler, Model theory of stochastic processes, reviewed by Alasdair Urquhart, page 110.
  • S. Wolfram, A new kind of science, reviewed by John Baldwin, page 112.
  • E. Grädel, W. Thomas, and T. Wilke (editors), Automata, logics, and infinite games: A guide to current research, reviewed by David Janin, page 114.
  • J. Woods, Paradox and paraconsistency: Conflict resolution in the abstract sciences, reviewed by Philip Kremer, page 115.
  • N. C. A. da Costa and F. A. Doria, Consequences of an exotic definition for $P=NP$, reviewed by Ralf Schindler, page 118.
    •

    Meetings of the Association
  • 2003 Annual Meeting of the Association for Symbolic Logic, University of Illinois at Chicago, Chicago, IL, June 1—4, 2003, pages 120 — 145.
    •
  • Notices, pages 146 — 151.
    •
    The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association. They can be downloaded from this site for personal and educational uses only.