[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ürgen Ohlbach, Executive Editors

The full version of this announcement is available.

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 .

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