[LD] ================================================ AMAST Links 02 05

            (Electronic) Bulletin of the IGPL, Vol. 3, N. 1
                      Dov Gabbay, Editor-in-Chief
      Ruy de Queiroz and Hans-J"urgen Ohlbach, Executive Editors

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205LD.txt

  The latest issue of the Bulletin of the Interest Group in Pure and
Applied Logics (IGPL), i.e. Volume 3, Number 1, March 1995, is now
available electronically by FTP from URL: ftp://theory.doc.ic.ac.uk/
theory/forum/igpl/Bulletin/V3-1/V3-1-whole.ps.gz
  You may obtain the whole issue (over 500K) or individual articles
separately. See the full version of this announcement for details.
  With many thanks to all those who contributed to this issue.

  *Table of Contents*

  Editorial
  Original Articles:
   On the Logic of Information Flow, J. Barwise, D. Gabbay, C. Hartonas
   Situated Modeling of Epistemic Puzzles, M. Ersan and V. Akman
   Completely Representable Relation Algebras, R. Hirsch
   Undecidability of the Equational Theory of Some Classes of Residuated
    Boolean Algebras with Operators, I. Nemeti, I. Sain, A. Simon
   The Essential Inadequacy of Deduction in Logic Programming,
    H. C. Wasserman, K. Yukawa, Z. Shen
   Some Completeness Results for Propositional Conditional Logics,
    K. Schlechta
  Reviews
   `Logic: Mathematics, Language, Computer Science and Philosophy'
    (Vol. I) reviewed by A. Avron
  Conferences
   Workshop on Logic, Language, Information and Computation (WoLLIC '94)
  Acknowledgements
  Books Received
  Forthcoming Papers