Interest Group in Pure and Applied Logics (IGPL)

Our main activity is that of a research and information clearing house, and there is no cost involved in joining the group. The group is part of The Association for Logic, Language and Information (FoLLI).

It grew out of an idea about setting up an organisation in London for the exchange of information on logic among the various logic-related communities. Such an organisation would have the purpose of acting as an information clearing house.

Founded in 1990, the IGPL currently has a membership of over 1000 researchers in various aspects of logic (symbolic, computational, mathematical, philosophical, etc.) from all over the world (currently, 57 countries).

Our activities include:

exchanging information about research problems, references and common interest among group members;
helping to obtain photocopies of papers to colleagues (under the appropriate copyright restrictions), especially where there may be difficulties of access;
supplying review copies of books through the Journals on which some of us are editors;
helping to organise exchange visits and workshops among members;
advising on papers for publication;
editing and distributing a Newsletter, as well as a Journal (Logic Journal of the IGPL, ISSN 1367-0751, Oxford University Press), which publishes research papers quickly reviewed, and is available electronically;
keeping a public archive of papers, abstracts, etc., accessible via ftp;
wherever possible, obtaining reductions on group (6 or more) purchases of logic books from publishers.

We are no longer circulating "Call for Papers"'s or "Book Announcement"'s through our members e-mail addresses, but we have a page for accepting and displaying information on CfP's: http://www.pms.ifi.lmu.de/conferences/conferences.html

A full membership list is available upon request.

Current picture of membership per country:

USA: 212, UK: 79, Germany: 61, Brazil: 48, France: 42, Poland: 33, Italy: 31, The Netherlands: 31, Japan: 25, Russia: 22, Canada: 21, Spain: 16, Australia: 15, Portugal: 14, Romania: 12, Israel: 10, Sweden: 9, India: 8, Austria: 7, Belgium: 7, Yugoslavia: 7, Bulgaria: 6, Czech Republic: 6, Hungary: 6, Switzerland: 6, Taiwan: 6, Venezuela: 6, Croatia: 5, Greece: 5, New Zealand: 5, Argentina: 4, Denmark: 4, Finland: 4, Mexico: 4, Chile: 3, Costa Rica: 3, Norway: 3, Slovenia: 3, South Africa: 3, Hong Kong: 2, Iran: 2, Republic of Ireland: 2, Slovakia: 2, Thailand: 2, Turkey: 2, Ukraine: 2, China: 1, Colombia: 1, Estonia: 1, Georgia: 1, Kazakhstan: 1, Lithuania: 1, Peru: 1, Saudi Arabia: 1.

With best regards,

Sincerely yours,

Dov M. Gabbay, Hans Jürgen Ohlbach and Ruy de Queiroz

Logic Journal of the Interest Group in Pure and Applied Logics (IGPL)

ISSN 1367-0751 (paper) ISSN 1368-9894 (electronic)

General Description

Co-Editors-in-Chief
Dov M. Gabbay (King's College London, UK)
Ruy de Queiroz (Univ. Federal de Pernambuco, Brazil)

Executive Editor
Hans Jürgen Ohlbach (Ludwig-Maximilians-Universität München, Germany)

Editorial Board
Wilfrid Hodges, Queen Mary and Westfield College, UK
Hans Kamp, Stuttgart University, Germany
Robert Kowalski, Imperial College, UK
Grigori Mints, Stanford University, USA
Ewa Orlowska, Academy of Sciences, Poland
Amir Pnueli, Weizmann Institute, Israel
Vaughan Pratt, Stanford University, USA
Saharon Shelah, Rutgers University, USA
Johan van Benthem, Amsterdam University, The Netherlands
John Woods, University of British Columbia, Canada

The Journal is published bimonthly by Oxford University Press.

(From 1993 up to 1996 it used to be published several times per year by the Max Planck Institut für Informatik, Saarbrücken, and Imperial College, London.)

The Journal is an attempt to solve a problem in the logic (in particular, IGPL) community:

Long delays and large backlogs in publication of papers in current journals.
Very tight time limits and page number limits on submission.

Papers in the final form should be in LaTeX.

The Journal is made available as an electronic journal as well as a hard copy journal.

As from Volume 10 (2002) the Journal is indexed in:

Science Citation Index Expanded (SCIE)
Research Alert
CompuMath Citation Index (CMCI)

Web Homepage: http://www.oup.co.uk/igpl

New Editorial Office

The editorial office of the Logic Journal of the IGPL, the Journal of Logic and Computation and the Journal of Language and Computation have moved to King's College, London. The entire team (D.M. Gabbay, H.J. Ohlbach and J. Spurr) are now at the

The following addresses and numbers will be effective from August 1998:

Dov Gabbay: Tel: +44 20 7848 2930. Fax: +44 20 7240 107. E-mail: dov.gabbay@kcl.ac.uk

H.J. Ohlbach: Tel: +49 89 2178 2200. Fax: +49 89 2178 221. E-mail: ohlbach@informatik.uni-muenchen.de

Jane Spurr: Tel: +44 20 7848 2987. Fax: +44 20 7240 1071. E-mail: jane.2.spurr@kcl.ac.uk

An Appeal for Subscriptions

Our readers are aware that last year Oxford University Press have distributed the Logic Journal of the IGPL free both electronically and on paper. We have also announced the OUP policy for authors of all our journals, where authors are allowed to leave their papers available on their home page free for all readers to take.

To maintain this policy we must have more library subscriptions for the Logic Journal of the IGPL. We urgently ask our readers to approach their libraries and arrange for a subscription. We are going to print and distribute free the Language and Computation Journal. It depends on the library subscriptions for the IGPL journal whether OUP can support this policy.

The subscription form can be downloaded from http://www.oup.co.uk/igpl/subinfo/

Thank you for your help.

D. Gabbay, R. de Queiroz, H.J. Ohlbach

Last updated July 23, 2008, 07:11pm GMT-0300.